A hierarchical machine model for the semantics of programming languages.

Victor R. Basili Albert J. Turner

Published in: HLLCA (1973)

Keyphrases

programming language
specification language
high level
formal model
object oriented
artificial intelligence
relational databases
general purpose
conceptual model
database languages
denotational semantics
software engineering