Výsledky vyhledávání - functional-logic Programming*

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

Autoři: Lennart Augustsson Joachim Breitner Koen Claessen a další

Zdroj: Proceedings of the ACM on Programming Languages. 7:417-447

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Memoized Pull-Tabbing for Functional Logic Programming

Autoři: Michael Hanus Finn Teegen

Zdroj: Lecture Notes in Computer Science ISBN: 9783030753320

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/2008.11999
http://arxiv.org/abs/2008.11999
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-11999
https://link.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/pdf/2008.11999
https://rd.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/abs/2008.11999

Embedding Functional Logic Programming in Haskell via a Compiler Plugin

Autoři: Kai-Oliver Prott Finn Teegen Jan Christiansen

Zdroj: Lecture Notes in Computer Science ISBN: 9783031248405

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley

Autoři: Baltasar Trancón y Widemann Markus Lepper

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 150-164 (2017)

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, Electronic computers. Computer science, QA1-939, D.1.5, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Přístupová URL adresa: https://arxiv.org/pdf/1701.00634
http://arxiv.org/abs/1701.00634
https://doaj.org/article/601bd3c89e0c4edfa043fb02b2d186f9
https://arxiv.org/abs/1701.00634
https://dblp.uni-trier.de/db/series/eptcs/eptcs234.html#WidemannL17
https://doi.org/10.4204/EPTCS.234.11
https://arxiv.org/abs/1701.00634
https://arxiv.org/pdf/1701.00634.pdf

A proof theoretic approach to failure in functional logic programming

Autoři: Francisco Javier López-Fraguas Jaime Sánchez-Hernández

Zdroj: Theory and Practice of Logic Programming. 4:41-74

Témata: proof calculi, FOS: Computer and information sciences, D.1.6, D.3.2, Computer Science - Programming Languages, functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, constructive failure, 02 engineering and technology, Logic programming, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0405102v1.pdf
http://arxiv.org/abs/cs/0405102
http://journals.cambridge.org/abstract_S1471068403001728
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/proof-theoretic-approach-to-failure-in-functional-logic-programming/E2D12EE8BC5F54B96EE9732909DC9A27
http://ui.adsabs.harvard.edu/abs/2004cs........5102L/abstract
https://dblp.uni-trier.de/db/journals/tplp/tplp4.html#Lopez-FraguasS04

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Autoři: Antonio J. Fernández Mario Rodríguez-Artalejo R. del Vado-Vírseda a další

Zdroj: Electronic Notes in Theoretical Computer Science. 188:37-51

Témata: Cooperating Solvers, Functional Logic Programming, Implementation, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Lazy Narrowing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://core.ac.uk/display/82188877
http://gpd.sip.ucm.es/sonia/PROLE'06.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#MartinFHRSV07
https://www.sciencedirect.com/science/article/pii/S1571066107004793
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004793

Failure and Equality in Functional Logic Programming1 1Work partially supported by the Spanish project TIC2002-01167 ‘MELODIAS’

Autoři: Francisco Javier López-Fraguas Jaime Sánchez-Hernández

Zdroj: Electronic Notes in Theoretical Computer Science. 86:123-143

Témata: Equality, Functional Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, Constructive Failure, 0102 computer and information sciences, 02 engineering and technology, Narrowing, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066104806972
https://dblp.uni-trier.de/db/journals/entcs/entcs86.html#Lopez-FraguasS03
https://www.sciencedirect.com/science/article/pii/S1571066104806972

Evaluation strategies for functional logic programming

Autoři: Sergio Antoy

Zdroj: Journal of Symbolic Computation. 40:875-903

Témata: Computational Mathematics, Evaluation strategies, Algebra and Number Theory, Definitional trees, Constructor-based rewrite systems, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Narrowing, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066104002658
https://dblp.uni-trier.de/db/journals/tcs/entcs57.html#Antoy01
https://www.sciencedirect.com/science/article/pii/S1571066104002658#!

From Logic to Functional Logic Programs

Autoři: MICHAEL HANUS

Zdroj: Theory and Practice of Logic Programming. 22:538-554

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2205.06841

Memoized Pull-Tabbing for Functional Logic Programming

Autoři: Hanus, Michael Teegen, Finn

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2008.11999

Singular and plural functions for functional logic programming

Autoři: Adrián Riesco Juan Rodríguez-Hortalá

Zdroj: Theory and Practice of Logic Programming. 14:65-116

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1203.2431
http://arxiv.org/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://128.84.21.199/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://ui.adsabs.harvard.edu/abs/2012arXiv1203.2431R/abstract
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S147106841200004X
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/singular-and-plural-functions-for-functional-logic-programming/75629FDA22B2329A8690D0B1946B6281
https://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2431

Constraint functional logic programming over finite domains

Autoři: Fernando Sáenz-Pérez Rafael del Vado-Virseda Antonio J. Fernández a další

Zdroj: Theory and Practice of Logic Programming. 7:537-582

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.2, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/cs/0601071
http://arxiv.org/abs/cs/0601071

Constraint Functional Logic Programming Revisited

Autoři: Rafael del Vado Vírseda F. Javier López-Fraguas Mario Rodríguez-Artalejo

Zdroj: Electronic Notes in Theoretical Computer Science. 117:5-50

Témata: Logic Programming, Functional Programming, Constraints, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934
https://www.sciencedirect.com/science/article/pii/S1571066104052934
https://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Lopez-FraguasRV05
https://core.ac.uk/display/82685587
http://gpd.sip.ucm.es/uploads/pdf/LMR05_RV-wrla04.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934#!

Lightweight Functional Logic Meta-Programming

Autoři: Nada Amin Tiark Rompf William E. Byrd

Zdroj: Lecture Notes in Computer Science ISBN: 9783030341749

a concurrent operational semantics for constraint functional logic programming

Autoři: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Přispěvatelé: del Vado Vírseda, Rafael Pérez Morente, Fernando García Toledo, Marcos Miguel a další

Témata: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2012/3618/pdf/16.pdf
https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#VirsedaMT12
https://drops.dagstuhl.de/opus/volltexte/2012/3618/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154

towards a parallel virtual machine for functional logic programming

Autoři: Alqaddoumi, Abdulla Abdulla Alqaddoumi

Přispěvatelé: Alqaddoumi, Abdulla Abdulla Alqaddoumi

Témata: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/opus/volltexte/2010/2600/
https://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Alqaddoumi10
http://drops.dagstuhl.de/opus/volltexte/2010/2600/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.222

A Formalization of the Semantics of Functional-Logic Programming in Isabelle

Autoři: López Fraguas, Francisco Merz, Stephan Rodríguez Hortalá, Juan

Přispěvatelé: López Fraguas, Francisco Merz, Stephan Rodríguez Hortalá, Juan

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, theorem proving, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Isabelle, 0102 computer and information sciences, CRWL logic, functional-logic programming, 01 natural sciences, higher-order logic, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/0908.0494
https://inria.hal.science/inria-00408964v1
https://inria.hal.science/inria-00408964v1/document

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Autoři: Michael Hanus Steffen Mazanek

Zdroj: Journal of Visual Languages & Computing. 22:66-89

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

A hybrid programming scheme combining fuzzy-logic and functional-logic resources

Autoři: Ginés Moreno Vicente Pascual

Zdroj: Fuzzy Sets and Systems. 160:1402-1419

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0165011408005307
http://dblp.uni-trier.de/db/journals/fss/fss160.html#MorenoP09
https://dblp.uni-trier.de/db/journals/fss/fss160.html#MorenoP09

Probabilistic Functional Logic Programming

Autoři: Sandra Dylus Jan Christiansen Finn Teegen

Zdroj: Lecture Notes in Computer Science ISBN: 9783319733043

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-319-73305-0_1
https://rd.springer.com/chapter/10.1007/978-3-319-73305-0_1
https://dblp.uni-trier.de/db/conf/padl/padl2018.html#DylusCT18