Fully Abstract Denotational Semantics for Flat Concurrent Prolog

Rob Gerth Michael Codish Yossi Lichtenstein Ehud Shapiro

Published in: LICS (1988)

Keyphrases

denotational semantics
programming language
abstract data types
high level
general purpose
logic programming
query language
operational semantics
software engineering
object oriented
knowledge representation
data analysis
databases
database
inference rules
relational database systems
relational databases