Letters to the editor: An auxiliary program to analyze LISP 1.5 programs.
Knut BahrPublished in: Commun. ACM (1968)
Keyphrases
- computer programs
- programs written
- programming language
- programming environment
- automatic programming
- program execution
- java programs
- programming environments
- expert systems
- high level programming language
- symbolic execution
- prolog programs
- learning theory
- control program
- control flow
- novice programmers
- imperative programs
- functional programs
- high level programming
- declarative semantics
- real time
- hardware designs
- source code
- undergraduate engineering
- object oriented
- stable model semantics
- answer set programs
- computer chess
- program slicing
- programming education
- program synthesis
- application programs
- general purpose
- knowledge representation
- data sets