×

Found 4 Documents (Results 1–4)

Functional plus logic programming with built-in and symbolic constraints. (English) Zbl 0953.68033

Nadathur, Gopalan (ed.), Principles and practice of declarative programming. International conference PPDP ’99. Paris, France, September 29-October 1, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1702, 152-169 (1999).
MSC:  68N18 68N17
PDFBibTeX XMLCite

On the completeness of narrowing as the operational semantics of functional logic programming. (English) Zbl 0797.68103

Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 216-230 (1993).
MSC:  68Q55 68N17 68Q65
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

Software