Running Probabilistic Programs Backwards

Autor: Toronto, Neil, McCarthy, Jay, Van Horn, David

Many probabilistic programming languages allow programs to be run under constraints in order to carry out Bayesian inference. Running programs under constraints could enable other uses such as rare event simulation and probabilistic verification---ex

Externí odkaz: http://arxiv.org/abs/1412.4053

A Programmable Programming Language.

Autor: FELLEISEN, MATTHIAS, FINDLER, ROBERT BRUCE, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM, BARZILAY, ELI, MCCARTHY, JAY, TOBIN-HOCHSTADT, SAM

Publikováno v: Communications of the ACM; Mar2018, Vol. 61 Issue 3, p62-71, 10p, 1 Illustration, 8 Diagrams

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Using Rewriting to Synthesize Functional Languages to Digital Circuits

Autor: Baaij, C.P.R., Kuper, Jan, McCarthy, Jay

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642453397
Trends in Functional Programming
14th International Symposium Trends in Functional Programming, TFP 2013, 17-33
STARTPAGE=17;ENDPAGE=33;TITLE=14th International Symposium Trends in Functional Programming, TFP 2013

A straightforward synthesis from functional languages to digital circuits transforms variables to wires. The types of these variables determine the bit-width of the wires. Assigning a bit-width to polymorphic and function-type variables within this d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92285c6198d11ef7e142791998c05f2f
https://doi.org/10.1007/978-3-642-45340-3_2

A Coq Library for Internal Verification of Running-Times.

Autor: McCarthy, Jay, Fetscher, Burke, New, Max, Feltey, Daniel, Findler, Robert Bruce

Publikováno v: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p144-162, 19p