Programs from proofs of predicated dataflow analyses.
Marie-Christine JakobsHeike WehrheimPublished in: SAC (2015)
Keyphrases
- computer programs
- control flow
- theorem proving
- high level language
- automatic programming
- formal proof
- design methodology
- provably correct
- statistical analysis
- theorem prover
- data flow
- parallel computing
- database machine
- mathematical proofs
- real time
- equational theories
- programming environment
- error analysis
- comparative analysis
- recently developed
- first order logic
- artificial intelligence