On Infinite Computations in Denotational Semantics.

J. W. de Bakker John-Jules Ch. Meyer Jeffery I. Zucker

Published in: Theor. Comput. Sci. (1983)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
software engineering
database
relational databases
databases
machine learning
artificial intelligence
sensor data