Suchergebnisse - "Theory Keywords Functional Logic Programming"

A semantics for weakly . . .

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

Weitere Verfasser: Jan Christiansen Fabian Reck The Pennsylvania State University CiteSeerX Archives

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

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

Dateibeschreibung: application/pdf

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

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

A Semantics for Tracing Declarative Multi-Paradigm Programs

Autoren: B. Brassel M. Hanus F. Huch et al.

Weitere Verfasser: B. Brassel M. Hanus F. Huch et al.

Quelle: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.pdf.

Schlagwörter: Formal Definitions and Theory General Terms Languages, Theory Keywords Functional Logic Programming, Tracing, Semantics

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.3559
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.pdf

A Semantics for Tracing Declarative Multi-Paradigm Programs

Autoren: B. Brassel M. Hanus F. Huch et al.

Weitere Verfasser: B. Brassel M. Hanus F. Huch et al.

Quelle: http://www.dsic.upv.es/users/elp/german/ppdp04/paper.pdf.

Schlagwörter: Formal Definitions and Theory General Terms Languages, Theory Keywords Functional Logic Programming, Tracing, Semantics

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7163
http://www.dsic.upv.es/users/elp/german/ppdp04/paper.pdf

Conditional Narrowing without Conditions

Autoren: Bernd Brassel Michael Hanus The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Bernd Brassel Michael Hanus The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz.

Schlagwörter: General Terms Languages, Theory Keywords Functional Logic Programming, Narrowing, Evaluation Strategies, Conditional Rewriting

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2219; http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2219
http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp03/paper.ps.gz

Constructor-based Conditional Narrowing

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing Strategies, Call-By-Need

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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 ∗

Autoren: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

A Semantics for TracingDeclarative Multi-Paradigm Programs \Lambda

Autoren: B. Brassel M. Hanus The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: B. Brassel M. Hanus The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.ps.

Schlagwörter: General Terms Languages, Theory Keywords Functional Logic Programming, Tracing, Semantics \Lambda

Dateibeschreibung: application/postscript

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.2253
http://www.informatik.uni-kiel.de/~mh/publications/papers/PPDP04.ps

ABSTRACT A Semantics for Tracing Declarative Multi-Paradigm Programs ∗

Autoren: B. Brassel M. Hanus F. Huch et al.

Weitere Verfasser: B. Brassel M. Hanus F. Huch et al.

Quelle: http://www.informatik.uni-kiel.de/~fhu/PUBLICATIONS/2004/ppdp04.pdf.

Schlagwörter: Formal Definitions and Theory General Terms Languages, Theory Keywords Functional Logic Programming, Tracing, Semantics

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.8844
http://www.informatik.uni-kiel.de/~fhu/PUBLICATIONS/2004/ppdp04.pdf