Login / Signup

A Hoare Logic for Call-by-Value Functional Programs.

Yann Régis-GianasFrançois Pottier
Published in: MPC (2008)
Keyphrases
  • functional programs
  • term rewriting systems
  • logic programs
  • lazy evaluation
  • functional language
  • stochastic grammar
  • logic programming
  • databases
  • high level
  • programming language
  • database management systems