Abstraction and Modularization in the BETA Programming Language.

Ole Lehrmann Madsen

Published in: JMLC (2000)

Keyphrases

programming language
high level
data abstraction
object oriented
general purpose
programming environment
software engineering
semantic data models
logic programming
denotational semantics
object oriented programming
strongly typed
computer programs
abstract data types
software systems
specification language