Login / Signup
Workshop Report: Third Workshop on the Mathematical Foundations of Programming Language Semantics, 1987, New Orleans.
David B. Benson
Michael G. Main
Published in:
ACM SIGPLAN Notices (1987)
Keyphrases
</>
programming language
denotational semantics
mathematical foundations
logic programming
specification language
database languages
high level
general purpose
strongly typed
software engineering
united states
programming environment
programming language constructs
object oriented
functional programming
formal semantics
database language
programming tool
database systems
data abstraction
data types
operating system