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

Norman Danner Daniel R. Licata

Published in: J. Funct. Program. (2022)

Keyphrases

denotational semantics
programming language
functional language
expressive power
operational semantics
database
data analysis
relational databases
query language
information extraction
general purpose
machine learning
object oriented databases
functional programming