Compiler prototyping using formal semantics.
Uwe F. PlebanPublished in: SIGPLAN Symposium on Compiler Construction (1984)
Keyphrases
- formal semantics
- code generation
- modeling language
- programming language
- rapid prototyping
- formal language
- logical language
- operational semantics
- first order logic
- theorem prover
- er model
- modelling language
- software systems
- metamodel
- speech acts
- logical reasoning
- database systems
- development process
- design process
- ontology languages
- data model
- database
- owl dl ontology