Programming Language Techniques for Cryptographic Proofs.
Gilles BartheBenjamin GrégoireSantiago Zanella BéguelinPublished in: ITP (2010)
Keyphrases
- programming language
- computer programs
- general purpose
- object oriented
- programming environment
- high level
- software engineering
- logic programming
- theorem proving
- strongly typed
- specification language
- theorem prover
- object oriented programming
- natural deduction
- database languages
- data abstraction
- object oriented concepts
- denotational semantics
- database language
- functional programming
- programming language constructs