Encoding the Program Correctness Proofs as Programs in PCC Technology.
Heidar PirzadehDanny DubéPublished in: PST (2008)
Keyphrases
- computer programs
- automatic programming
- programming environment
- programming environments
- provably correct
- control program
- program execution
- penn state
- advanced research projects agency
- java programs
- case study
- high level programming language
- computer hardware
- theorem proving
- rapid development
- cost effective
- control flow
- program slicing
- prolog programs
- concurrent programming
- world class
- practical experience
- stable model semantics
- theorem prover
- application programs
- symbolic execution
- programs written
- java bytecode
- program synthesis
- concurrent programs
- programming language
- object oriented
- e learning