Found 4 Documents (Results 1–4)
A practical partial evaluation scheme for multi-paradigm declarative languages. (English) Zbl 1037.68011
MSC:
68N15
A practical partial evaluator for a multi-paradigm declarative language. (English) Zbl 0977.68593
Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 326-342 (2001).
Using an abstract representation to specialize functional logic programs. (English) Zbl 0988.68516
Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 381-398 (2000).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
Author
- Hanus, Michael (4)
- Vidal, Germán (4)
- Albert, Elvira (3)
- Alpuente, María (1)
- Lucas, Salvador (1)