Execution traces and programming-language semantics.
Richard G. HamletPublished in: Int. J. Parallel Program. (1977)
Keyphrases
- programming language
- execution traces
- denotational semantics
- logic programming
- programming language constructs
- specification language
- source code
- database languages
- general purpose
- object oriented
- programming environment
- software engineering
- high level
- formal semantics
- semantic data models
- program comprehension
- object oriented programming
- data abstraction
- strongly typed
- functional programming
- open source
- database
- abstract data types
- computer programs
- high level programming language