Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jason R. Koenig"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-29
Many invariant inference techniques reason simultaneously about states and predicates, and it is well-known that these two kinds of reasoning are in some sense dual to each other. We present a new formal duality between states and predicates, and use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d91eed1e8446995b5e83cca4999a55c
https://doi.org/10.1145/3498712
https://doi.org/10.1145/3498712
Publikováno v:
PLDI
We consider the problem of program synthesis from input-output examples via stochastic search. We identify a robust feature of stochastic synthesis: The search often progresses through a series of discrete plateaus. We observe that the distribution o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbc3ac074a4a80923733c06feb2c9593
https://doi.org/10.1145/3453483.3454071
https://doi.org/10.1145/3453483.3454071
Publikováno v:
PLDI
Quantified first-order formulas, often with quantifier alternations, are increasingly used in the verification of complex systems. While automated theorem provers for first-order logic are becoming more robust, invariant inference tools that handle q
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5802eb0fd9ea26dd83d04724963e54f6
https://doi.org/10.1145/3385412.3386018
https://doi.org/10.1145/3385412.3386018
Autor:
Jason R. Koenig, K. Rustan M. Leino
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 87-106 (2016)
Refine@FM
Refine@FM
Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc622c5da830a608c94fa704c54fe793
http://arxiv.org/abs/1606.02022
http://arxiv.org/abs/1606.02022
