( en | de | ru )

 

Disambiguation of "McCarthy, Jay"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal higher-order contracts.

, , and . ICFP, page 176-188. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sheila McCarthy

Carmel McCarthy

Jay Jorgenson

Sylvain Jay

Klaus Jay

 

Other publications of authors with the same name

Running Probabilistic Programs Backwards., , and . CoRR, (2014)Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis.. FARM@ICFP, page 1-7. ACM, (2016)Running Probabilistic Programs Backwards., , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 53-79. Springer, (2015)Temporal higher-order contracts., , and . ICFP, page 176-188. ACM, (2011)Model-Checking Task Parallel Programs for Data-Race., , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 367-382. Springer, (2018)Modeling Asynchronous Message Passing for C Programs., , , and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 332-347. Springer, (2012)Demand Control-Flow Analysis., , , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 226-246. Springer, (2019)Proving MCAPI executions are correct using SMT., , and . ASE, page 26-36. IEEE, (2013)From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC., and . IFL, volume 6647 of Lecture Notes in Computer Science, page 89-104. Springer, (2010)Model-checking task-parallel programs for data-race., , , , , , , and . Innov. Syst. Softw. Eng., 15 (3-4): 289-306 (2019)