An Algorithmic Semantics for ALGOL 60 Identifier Denotation.

James M. Boyle Albert A. Grau

Published in: J. ACM (1970)

Keyphrases

logic programming
programming language
formal semantics
semantic information
argumentation semantics
data sets
real world
active rules
operational semantics
machine learning
domain knowledge
conceptual model
semantic relationships
model theoretic
object oriented concepts