Program Proving: Exit and Return Jumps in Structured Programs.
Giorgio De MichelisGaetano Aurelio LanzaroneCarla SimonePublished in: GI Jahrestagung (1976)
Keyphrases
- computer programs
- control program
- program execution
- automatic programming
- java programs
- high level programming language
- computer chess
- control flow
- hardware designs
- prolog programs
- programming language
- structured data
- program slicing
- programming education
- program synthesis
- programming environment
- recursive programs
- programming environments
- novice programmers
- functional programs
- program code
- stable model semantics
- application programs
- intermediate level
- programming language constructs
- imperative programs
- loop formulas
- symbolic execution
- programs written
- declarative semantics
- answer set programs
- e learning
- set of test cases
- information systems
- search engine
- high level programming
- real world