Programming semantics for multiprogrammed computations.

Jack B. Dennis Earl C. Van Horn

Published in: Commun. ACM (1966)

Keyphrases

logic programming
programming language constructs
programming language
computer programming
computer science
general purpose
web applications
conceptual model
conceptual graphs
development environment
formal semantics
programming course
owl ontologies
logical language