Analyzing Array Manipulating Programs by Program Transformation.
J. Robert M. CornishGraeme GangeJorge A. NavasPeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: LOPSTR (2014)
Keyphrases
- computer programs
- program execution
- automatic programming
- control program
- high level programming language
- computer chess
- prolog programs
- symbolic execution
- java programs
- programming environment
- novice programmers
- control flow
- declarative semantics
- programming environments
- functional programs
- logic programs
- recursive programs
- concurrent programming
- application programs
- transformation rules
- static analysis
- intermediate level
- evaluation function
- answer set programs
- hardware designs
- programs written
- undergraduate engineering
- loop formulas
- program slicing
- programming language constructs
- imperative programs
- database
- program code
- deductive databases
- infrared
- operating system
- object oriented
- expert systems
- database systems
- case study