Výsledky vyhledávání - "Theory Keywords Functional Logic Programming Languages"

A semantics for weakly . . .

Autoři: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Popis souboru: application/postscript

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

Dostupnost: 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

Constructor-based Conditional Narrowing

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing Strategies, Call-By-Need

Popis souboru: application/postscript

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

Dostupnost: 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

ABSTRACT Constructor-based Conditional Narrowing ∗

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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