Login / Signup
Unifying ADT - and Evolving Algebra Specifications.
Horst Reichel
Published in:
Bull. EATCS (1996)
Keyphrases
</>
abstract data types
delay insensitive
data model
formal specification
algebraic expressions
data types
relational algebra
algebraic operations
website
high level
specification language
control flow
operational semantics