Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.

Cornelis Huizing Rob Gerth Willem P. de Roever

Published in: POPL (1987)

Keyphrases

denotational semantics
programming language
real time
operational semantics
data abstraction
query language
abstract data types
high level
general purpose
software engineering
data mining
natural language processing
databases
data model