Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.
Zhengyao LinXiaohong ChenMinh-Thai TrinhJohn WangGrigore RosuPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- functional programs
- functional language
- computer programs
- programming language
- proof planning
- programming environment
- language learning
- programs written
- functional programming
- proof theory
- database languages
- operational semantics
- semantically equivalent
- specification language
- natural language
- theorem prover
- object oriented
- intended meaning
- database language
- program execution
- language processing
- java programming
- rule language
- declarative semantics