Denotational Semantics for Lazy Initialization of letrec.

Published in: FICS (2010)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
general purpose
k means
high level
databases
intelligent agents
data types