An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing

@inproceedings{Bosco1989AnEO,
  title={An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing},
  author={Pier Giorgio Bosco and C. Cecchi and Corrado Moiso},
  booktitle={ICLP},
  year={1989}
}
Artalejo: BABEL: A functional and logic programming language based on constructor discipline and narrowing, 16 REFERENCES whether it would be possible to detect purely functional computations in the extended machine. This paper gives a positive answer to this question and presents a general method for the dynamic detection of local determinism, that can also be useful for purely logic programs. Except of Hanus 90,91] the other proposals do not contain a special treatment of deter-ministic… CONTINUE READING
14 Extracted Citations
1 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

Term Pattern: t i 2 Term

  • Term Pattern: t i 2 Term

Similar Papers

Loading similar papers…