Extending Timbuk to Verify Functional Programs.

Thomas Genet Tristan Gillard Timothée Haudebourg Sébastien Lê Cong

Published in: WRLA@ETAPS (2018)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
databases
integrity constraints
functional programming
general purpose
simulated annealing