Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.

Hartmut Ehrig Hans-Jörg Kreowski Peter Padawitz

Published in: ICALP (1980)

Keyphrases

abstract data types
data abstraction
data types
programming language
type checking
algebraic operations
artificial intelligence
high level
natural language
semantic information
relational database systems
image sequences
management system
object oriented
domain ontology
algebraic structure