Search Results - "Theory Keywords Functional Logic Programming Languages"

A semantics for weakly . . .

Authors: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Contributors: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Source: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf.

Subject Terms: General Terms Algorithms, Design, Languages, Theory Keywords Functional logic programming languages, rewrite systems, nondeterminism

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.1787
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP13.pdf

Constructor-based Conditional Narrowing

Authors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.pdx.edu/~antoy/homepage/./publications/ppdp01-A/paper.ps.gz.

Subject Terms: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing Strategies, Call-By-Need

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9998

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9998
http://www.cs.pdx.edu/~antoy/homepage/./publications/ppdp01-A/paper.ps.gz

Constructor-based Conditional Narrowing

Authors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Subject Terms: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

ABSTRACT Constructor-based Conditional Narrowing ∗

Authors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Contributors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Source: http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp01-A/paper.pdf.

Subject Terms: Formal Languages, Grammars and Other Rewriting Systems, I.1.1 [Algebraic Manipulation, Expressions and Their Representation—Simplification of expressions, I.2.2 [Automatic Programming, Program transformation General Terms Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing Strategies, Call-By-Need

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2049

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2049
http://web.cecs.pdx.edu/~antoy/homepage/publications/ppdp01-A/paper.pdf