An Expert System for Automatic Codeing of Abstract Data Type Specifications.

H. Eigemeier Christoph Knabe Peter Raulefs K. Tramer

Published in: GI Jahrestagung (1980)

Keyphrases

abstract data types
expert systems
knowledge base
semi automatic
data types
high level
data model
general purpose
object oriented databases
programming language
multi dimensional
formal specification
data abstraction
denotational semantics