Thunk recycling for lazy functional languages: operational semantics and correctness.

Yasunao Takano Hideya Iwasaki

Published in: SAC (2015)

Keyphrases

information retrieval
operational semantics
formal semantics
functional language
mental states
model theoretic
data model
agent programming
denotational semantics
declarative semantics
programming language
cooperative
activity diagrams
petri net
databases
natural language
artificial intelligence