Denotational semantics as a foundation for cost recurrence extraction for functional languages.

Norman Danner Daniel R. Licata

Published in: CoRR (2020)

Keyphrases

denotational semantics
programming language
functional language
general purpose
databases
query language
operational semantics
database
data structure
information extraction
object oriented
distance measure
expressive power
normal form