Automated Proof of the Correctness of a Compiling Specification.
Elizabeth A. ScottPublished in: AMAST (1993)
Keyphrases
- provably correct
- semi automated
- fully automated
- automated theorem provers
- linear logic
- high level
- automated analysis
- databases
- situation calculus
- manual inspection
- formal methods
- formal specification
- theorem proving
- theorem prover
- computer assisted
- computer aided
- semi automatic
- case study
- decision trees
- knowledge base
- information retrieval