Semantics of computation.

Joseph A. Goguen

Published in: Category Theory Applied to Computation and Control (1974)

Keyphrases

formal semantics
database
clustering algorithm
logic programming
semantic information
machine learning
case study
integrity constraints
conceptual graphs
method invocation