Equivalent Transformations of Program Schemes for "Entangling" Programs.
Rimma I. PodlovchenkoPublished in: Program. Comput. Softw. (2002)
Keyphrases
- computer programs
- control program
- program execution
- prolog programs
- automatic programming
- computer chess
- programming environment
- java programs
- symbolic execution
- high level programming language
- programming environments
- functional programs
- recursive programs
- control flow
- program code
- program slicing
- application programs
- programming education
- semantically equivalent
- novice programmers
- stable model semantics
- answer set programs
- high level programming
- hardware designs
- undergraduate engineering
- database
- programming language constructs
- loop formulas
- program synthesis
- answer set programming
- answer sets
- evaluation function
- intermediate level
- imperative programs
- logic programs
- expert systems
- case study
- information systems