An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language.

Alexandre V. Zamulin

Published in: Program. Comput. Softw. (2004)

Keyphrases

programming language
high level
specification language
object oriented
conceptual model
programming environment
logic programming
object oriented programming
abstract data types
strongly typed
denotational semantics
databases
software engineering
data management
data types