A verifying core for a cryptographic language compiler.
Lee PikeMark ShieldsJohn MatthewsPublished in: ACL2 (2006)
Keyphrases
- programming language
- high level programming languages
- smart card
- language learning
- natural language
- operational semantics
- java bytecode
- general purpose
- software engineering
- software systems
- cellular automata
- artificial intelligence
- language processing
- object oriented programming
- highly modular
- high level
- open source
- model checking
- specification language
- java virtual machine