Mathematical Semantics and Compiler Correctness.

Published in: Programming Languages and Their Definition (1984)

Keyphrases

programming language
logic programming
formal semantics
neural network
constraint language
general purpose
mathematical models
semantic information
logical language
database
object oriented
logic programs
conceptual graphs
correctness criterion
distributed memory machines