Search Results - "integration of functional and logic programming"

Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

Authors: Apt, Krzysztof Indermark, Klaus

Index Terms: Data processing Computer science, InProceedings, publishedVersion

On a Tighter Integration of Functional and Logic Programming

Authors: Bernd Braßel Frank Huch

Source: Lecture Notes in Computer Science ISBN: 9783540766360

Access URL: https://dblp.uni-trier.de/db/conf/aplas/aplas2007.html#BrasselH07
https://link.springer.com/chapter/10.1007/978-3-540-76637-7_9
https://rd.springer.com/chapter/10.1007/978-3-540-76637-7_9

Integration of functional and logic programming

Authors: Herbert Kuchen Michael Hanus

Source: ACM Computing Surveys. 28:306-308

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://www.wi.uni-muenster.de/de/forschung/publikationen/3782
https://core.ac.uk/display/36502107
https://dl.acm.org/doi/10.1145/234528.234734
https://dblp.uni-trier.de/db/journals/csur/csur28.html#HanusK96

Integration of Functional and Logic Programming Languages

Source: Logic Programming ISBN: 9780262291248

Polyfun : an experimental approach to the integration of functional and logic programming

Authors: Stanley, Adrian

Subject Terms: 005, Polyfun computer language

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329137

Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

Authors: Apt, Krzysztof Indermark, Klaus Rodríguez Artalejo, Mario et al.

Contributors: Apt, Krzysztof Indermark, Klaus Rodríguez Artalejo, Mario et al.

Subject Terms: ddc:004

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/opus/volltexte/2021/14898/pdf/DagSemRep-10.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14898/
https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.10

On the tighter integration of functional and logic programming

Authors: Bernd Braßel Frank Huch The Pennsylvania State University CiteSeerX Archives

Contributors: Bernd Braßel Frank Huch The Pennsylvania State University CiteSeerX Archives

Source: http://www.informatik.uni-kiel.de/uploads/media/TighterIntegrationAPLAS2007.pdf.

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.8430
http://www.informatik.uni-kiel.de/uploads/media/TighterIntegrationAPLAS2007.pdf

On a Tighter Integration of Functional and Logic Programming.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Programming Languages & Systems (978-3-540-76636-0); 2007, p122-138, 17p

Integration of functional and logic programming

Authors: Hanus, Michael Kuchen, Herbert

Source: ACM computing surveys 28, 306-308 (1996).

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/1557-7341; info:eu-repo/semantics/altIdentifier/issn/0360-0300

Availability: https://publications.rwth-aachen.de/record/138562
https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-019115%22

Integration of functional and logic programming. Rep. on the 'Acción Integrada Hispano-Alemana'

Authors: Loogen, R.

Source: Bulletin of the European Association for Theoretical Computer Science 44, (1991).

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/0252-9742

Availability: https://publications.rwth-aachen.de/record/173153
https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-050477%22

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

Integration of Functional and Logic Programming Languages.

Authors: Lloyd, John

Source: Logic Programming (9780262291248); 1995, p619-620, 2p

A domain-theoretic approach to functional and logic programming.

Authors: Silbermann, Frank S. K. Jayaraman, Bharat

Source: Journal of Functional Programming; Jul1992, Vol. 2 Issue 3, p273-321, 49p

A Demand Driven Computation Strategy for Lazy Narrowing

Authors: Rita Loogen Francisco López Fraguas Mario Rodríguez Artalejo et al.

Contributors: Rita Loogen Francisco López Fraguas Mario Rodríguez Artalejo et al.

Source: http://mozart.sip.ucm.es/papers/1993/plilp93.ps.Z.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8762; http://mozart.sip.ucm.es/papers/1993/plilp93.ps.Z

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8762
http://mozart.sip.ucm.es/papers/1993/plilp93.ps.Z

A Relation Algebraic Semantics for a Lazy Functional Logic Language.

Authors: Braβel, Bernd Christiansen, Jan

Source: Relations & Kleene Algebra in Computer Science (9783540789123); 2008, p37-53, 17p

Integrating Functional and Logic Programming.

Authors: Lindstrom, Gary

Source: IEEE Software. Jan86, Vol. 3 Issue 1, p77. 2/3p.

Subject Terms: LOGIC programming, FUNCTIONAL programming (Computer science), MULTIPARADIGM programming (Computer science)

Rewriting and narrowing for constructor systems with call-time choice semantics.

Authors: LÓPEZ-FRAGUAS, FRANCISCO J. MARTIN-MARTIN, ENRIQUE RODRÍGUEZ-HORTALÁ, JUAN et al.

Source: Theory & Practice of Logic Programming; Mar2014, Vol. 14 Issue 2, p165-213, 49p

Subject Terms: LOGIC programming, PROGRAMMING languages, SEMANTICS, INFORMATION sharing, SDL (Computer program language)

Singular and plural functions for functional logic programming.

Authors: RIESCO, ADRIÁN RODRÍGUEZ-HORTALÁ, JUAN

Source: Theory & Practice of Logic Programming; Jan2014, Vol. 14 Issue 1, p65-116, 52p

Subject Terms: MATHEMATICAL singularities, MATHEMATICAL functions, FUNCTIONAL programming (Computer science), LOGIC programming, PROGRAMMING languages, PARAMETER estimation, SEMANTIC computing

On the correctness of pull-tabbing.

Authors: ANTOY, SERGIO

Source: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p713-730, 18p

Subject Terms: FUNCTIONAL analysis, LOGIC programming, GRAPH theory, MATHEMATICAL transformations, COMBINATORICS, MATHEMATICAL analysis