Programs as Transformations of Algebraic Theories (Extended Abstract).

Harald Ganzinger

Published in: GI Jahrestagung (1981)

Keyphrases

extended abstract
programming environment
control structures
computer programs
algebraic structure
neural network
real world
information retrieval
search engine
database systems
theoretical framework
domain theory
decision theory
design theory