Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Zhengyao Lin"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:56-84
Previous work on rewriting and reachability logic establishes a vision for a language-agnostic program verifier, which takes three inputs: a program, its formal specification, and the formal semantics of the programming language in which the program
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1697-1725
Axioms and inference rules form the foundation of deductive systems and are crucial in the study of reasoning with logics over structures. Historically, axiomatizations have been discovered manually with much expertise and effort. In this paper we sh
Publikováno v:
ASPLOS
We propose a new design for a Translation Validation (TV) system geared towards practical use with modern optimizing compilers, such as LLVM. Unlike existing TV systems, which are custom-tailored for a particular sequence of transformations and a spe
Publikováno v:
Computer Aided Verification ISBN: 9783030816872
CAV (2)
CAV (2)
We pursue the vision of anideal language framework, where programming language designers only need to define the formalsyntaxandsemanticsof their languages, and all language tools are automatically generated by the framework. Due to the complexity of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10db6882b759ec54b4e37de62b2b7147
https://doi.org/10.1007/978-3-030-81688-9_23
https://doi.org/10.1007/978-3-030-81688-9_23