Symbolic Resource Bound Inference for Functional Programs.

Ravichandhran Madhavan Viktor Kuncak

Published in: CAV (2014)

Keyphrases

functional programs
lazy evaluation
term rewriting systems
logic programs
lower bound
functional language
bayesian networks
stochastic grammar
databases
high level
relational databases
programming language
data management
sort merge