An Algebraic Model for Programming Languages.

Published in: Comput. Lang. (1987)

Keyphrases

data abstraction
programming language
conceptual modeling
object oriented
high level
specification language
formal model
databases
general purpose
conceptual model
logic programming
computer programs