From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
Yong XiaoZena M. AriolaMichel MaunyPublished in: CoRR (2000)
Keyphrases
- specification language
- description language
- formal specification
- programming language
- natural language
- software architecture
- web services
- programs written
- symbolic execution
- software environment
- requirements specification
- virtual machine
- knowledge compilation
- representation language
- database systems
- model checker
- database