A Semantics for Locally Bottom-Avoiding Choice.

John Hughes Andrew Moran

Published in: Functional Programming (1992)

Keyphrases

formal semantics
logic programming
database
conceptual model
real time
real world
case study
co occurrence