Formal Certification of a Resource-Aware Language Implementation.
Javier de DiosRicardo Peña-MaríPublished in: TPHOLs (2009)
Keyphrases
- formal language
- programming language
- specification language
- query language for xml
- implementation details
- formal specification
- formal methods
- formal languages
- mathematical theory
- operational semantics
- cd rom
- efficient implementation
- language learning
- natural language
- information retrieval
- databases
- formal model
- model checking
- data abstraction
- precisely defined
- highly modular