OBSCURE: A Specification Language for Abstract Data Types.

Thomas Lehmann Jacques Loeckx

Published in: Acta Informatica (1993)

Keyphrases

specification language
abstract data types
programming language
object oriented
data types
general purpose
object oriented databases
formal specification
relational database systems
data model
high level
software engineering
description language
relational databases
data storage
databases