Login / Signup

A Logic for Nondeterministic Functional Programs (Extended Abstract).

Ana Gil-Luezas
Published in: FCT (1989)
Keyphrases
  • extended abstract
  • functional programs
  • term rewriting systems
  • logic programs
  • lazy evaluation
  • logic programming
  • functional language
  • stochastic grammar
  • functional programming