Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.
Bettina ButhKarl-Heinz ButhPublished in: VDM Europe (1988)
Keyphrases
- term rewriting
- code generator
- theorem prover
- theorem proving
- code generation
- operational semantics
- automatically generated
- application development
- first order logic
- process model
- knuth bendix
- rewrite systems
- inference rules
- software development
- formal specification
- software reuse
- modeling language
- formal semantics
- rapid prototyping
- model checking
- machine learning
- web applications
- end users
- relational databases