An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.

Friedrich W. von Henke

Published in: MFCS (1976)

Keyphrases

data types
program synthesis
data structure
database management systems
data model
database systems
user defined
data mining algorithms
inductive logic programming
abstract data types
recursive programs
database
data formats
data manipulation language