Certifying and reasoning on cost annotations of functional programs

Roberto M. Amadio Yann Régis-Gianas

Published in: CoRR (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
knowledge representation
databases
machine learning
logic programs
object oriented
integrity constraints