A Deterministic Lazy Narrowing Calculus
Aart Middeldorp and Satoshi Okui
Proceedings of the Fuji International Workshop on Functional and Logic
Programming (FLOPS 1995), World Scientific, pp. 104 – 118, 1995
Abstract
In this paper we present sufficient conditions for removing the non-determinism between the inference rules of the lazy narrowing calculus LNC of Middeldorp, Okui, and Ida without losing completeness.BibTeX Entry
@inproceedings{MO-FLOPS95,
author = "Aart Middeldorp and Satoshi Okui",
title = "A Deterministic Lazy Narrowing Calculus",
booktitle = "Proceedings of the Fuji International Workshop on Functional
and Logic Programming",
publisher = "World Scientific",
pages = "104--118",
year = 1995
}