Workshop Report: Third Workshop on the Mathematical Foundations of Programming Language Semantics, 1987, New Orleans.
David B. BensonMichael G. MainPublished 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