The Semantics of the C Programming Language.

Yuri Gurevich James K. Huggins

Published in: CSL (1992)

Keyphrases

formal semantics
semantic representation
nonmonotonic logics
databases
neural network
case study
high level
conceptual model
default reasoning
object oriented programming