Extraction of Structured Programs from Specification Proofs.
John N. CrossleyIman PoernomoMartin WirsingPublished in: WADT (1999)
Keyphrases
- computer programs
- provably correct
- high level
- real world
- structured data
- control program
- automatic extraction
- formal proofs
- information extraction
- control flow
- neural network
- high level programming language
- structured learning
- automatic programming
- formal verification
- specification language
- fixpoint
- automatically extracted
- formal specification
- theorem prover
- situation calculus
- expert systems
- case study
- website