Sign in

Extending Timbuk to Verify Functional Programs.

Thomas GenetTristan GillardTimothée HaudebourgSé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