Search Results - "integration of functional and logic programming"

Partial Evaluation of Functional Logic Programs

Authors: Maria Alpuente Moreno Falaschi German Vidal et al.

Contributors: Maria Alpuente Moreno Falaschi German Vidal et al.

Source: http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018
http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Specialization of Lazy Functional Logic Programs

Authors: Maria Alpuente Moreno Falaschi Pascual Julián et al.

Contributors: Maria Alpuente Moreno Falaschi Pascual Julián et al.

Source: http://www.dsic.upv.es/users/elp/german/pepm97/paper.pdf.

Subject Terms: integration of functional and logic programming, term rewriting systems, lazy

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.188; http://www.dsic.upv.es/users/elp/german/pepm97/paper.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.188
http://www.dsic.upv.es/users/elp/german/pepm97/paper.pdf