Programming Semantics for Multiprogrammed Computations (Reprint).

Jack B. Dennis Earl C. Van Horn

Published in: Commun. ACM (1983)

Keyphrases

programming language
formal semantics
database
logic programming
semantic information
programming language constructs
conceptual model
real time
case study
domain knowledge
software development
development environment
computer programming
semantic representation
logical language