ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages.
Filip SieczkowskiAles BizjakLars BirkedalPublished in: ITP (2015)
Keyphrases
- programming language
- higher order
- lambda calculus
- concurrent programming
- object oriented
- software engineering
- general purpose
- formal methods
- logic programming
- denotational semantics
- specification language
- theorem prover
- programming environment
- strongly typed
- high level
- database languages
- pairwise
- first order logic
- data structure
- artificial intelligence
- databases
- database