Generation of ADA and PL/1 prototypes from abstract data type specifications.

Boumediene Belkhouche

Published in: J. Syst. Softw. (1991)

Keyphrases

abstract data types
denotational semantics
data types
programming language
object oriented databases
data abstraction
relational database systems
high level
formal specification
artificial intelligence
operational semantics
relational data model
spatio temporal databases
real world