Inferring non-failure conditions for declarative programs

Authors: Hanus, Michael

Source: In Science of Computer Programming May 2026 250

From Logic to Functional Logic Programs

Authors: Hanus, Michael

Subject Terms: article, ScholarlyArticle, Published Version, ddc:004, functional logic programming, transformation, resolution, narrowing strategies

Relation: Theory and practice of logic programming : TPLP -- Theory and Practice of Logic Programming -- 1471-0684 -- 1475-3081; https://doi.org/10.1017/S1471068422000187

Availability: https://doi.org/10.1017/S1471068422000187
https://nbn-resolving.org/urn:nbn:de:gbv:8:3-2024-00570-3
https://macau.uni-kiel.de/receive/macau_mods_00004855
https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00006164/from-logic-to-functional-logic-programs.pdf

A New Functional-Logic Compiler for Curry: Sprite

Authors: Antoy, Sergio^Aff15, Jost, Andy^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Hermenegildo, Manuel V, editor^Aff13, Lopez-Garcia, Pedro, editor^Aff14

Source: Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers. 10184:97-113

Towards a Theory of Reach

Authors: Fowler, Jonathan^Aff15, Huttom, Graham^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Serrano, Manuel, editor^Aff13, Hage, Jurriaan, editor^Aff14

Source: Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. 9547:22-39

lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Authors: Li, Beidi, Bhatt, Mehul, Schultz, Carl

Contributors: Beidi Li and Mehul Bhatt and Carl Schultz

Subject Terms: Spatial reasoning, Functional logic programming, Lambda-Prolog

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26

Availability: https://doi.org/10.4230/LIPIcs.COSIT.2019.26
https://nbn-resolving.org/urn:nbn:de:0030-drops-111183
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.26

Semantic Versioning Checking in a Declarative Package Manager

Authors: Hanus, Michael

Contributors: Michael Hanus

Subject Terms: functional logic programming, semantic versioning, program testing

File Description: application/pdf

Relation: Is Part Of OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6

Availability: https://doi.org/10.4230/OASIcs.ICLP.2017.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-84568
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6

Study and development of new functional syntactic extensions for Ciao Prolog

Authors: Luque Santamaría, Víctor

Contributors: Morales Caballero, José Francisco, de Hermenegildo Salinas, Manuel, Universidad Complutense de Madrid

Source: Docta Complutense
instname

Subject Terms: Extensiones sintácticas, Informática (Informática), Functional-logic programming, Logic programming, Syntactic extensions, Modular programming, Programación lógica, Programación multiparadigma, Programación modular, Programación funcional, Functional programming, Multiparadigm programming, 004(043.3), Órden superior, Programación lógico-funcional, Higher order, 33 Ciencias Tecnológicas

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.14352/109081

A modular and generic analysis server system for functional logic programs

Authors: Hanus, Michael, Skrlac, Fabian

Source: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :181-188

Availability: http://dl.acm.org/doi/10.1145/2543728.2543744

Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying

Authors: Nickles, Matthias^Aff23

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Goebel, Randy, Series editor^Aff15, Tanaka, Yuzuru, Series editor^Aff16, Wahlster, Wolfgang, Series editor^Aff17, Siekmann, Jörg, Series editor^Aff18, Janowicz, Krzysztof, editor^Aff19, Schlobach, Stefan, editor^Aff20, Lambrix, Patrick, editor^Aff21, Hyvönen, Eero, editor^Aff22

Source: Knowledge Engineering and Knowledge Management : 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings. 8876:333-338

Study and development of new functional syntactic extensions for Ciao Prolog ; Estudio y desarrollo de nuevas extensiones sintácticas funcionales para Ciao Prolog

Authors: Luque Santamaría, Víctor

Contributors: Morales Caballero, José Francisco, de Hermenegildo Salinas, Manuel

Subject Terms: 004(043.3), Programación lógica, Programación funcional, Programación multiparadigma, Órden superior, Extensiones sintácticas, Programación lógico-funcional, Programación modular, Logic programming, Functional programming, Multiparadigm programming, Higher order, Syntactic extensions, Functional-logic programming, Modular programming, Informática (Informática), 33 Ciencias Tecnológicas

File Description: application/pdf

Relation: https://hdl.handle.net/20.500.14352/109081

Availability: https://hdl.handle.net/20.500.14352/109081

Are needed redexes really needed?

Authors: Antoy, Sergio, Jost, Andy

Source: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :61-71

Availability: http://dl.acm.org/doi/10.1145/2505879.2505881

A semantics for weakly encapsulated search in functional logic programs

Authors: Christiansen, Jan, Hanus, Michael, Reck, Fabian, Seidel, Daniel

Source: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. :49-60

Availability: http://dl.acm.org/doi/10.1145/2505879.2505896

Typing as functional-logic evaluation

Authors: López-Fraguas, Francisco J., Martin-Martin, Enrique

Source: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation. :23-32

Availability: http://dl.acm.org/doi/10.1145/2426890.2426896

Transparent function types : clearing up opacity

Authors: Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

Source: Proceedings of the 14th symposium on Principles and practice of declarative programming. :127-138

Availability: http://dl.acm.org/doi/10.1145/2370776.2370793

Extending the TOY system with the ECL i PS e solver over sets of integers

Authors: Estévez-Martín, Sonia, Correas Fernández, Jesús, Sáenz-Pérez, Fernando

Source: Proceedings of the 11th international conference on Functional and Logic Programming. :120-135

Availability: http://dl.acm.org/doi/10.1007/978-3-642-29822-6_12

Well-typed narrowing with extra variables in functional-logic programming

Authors: López-Fraguas, Francisco, Martin-Martin, Enrique, Rodríguez-Hortalá, Juan

Source: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation. :83-92

Availability: http://dl.acm.org/doi/10.1145/2103746.2103763

Type classes in functional logic programming

Authors: Martin-Martin, Enrique

Source: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. :121-130

Availability: http://dl.acm.org/doi/10.1145/1929501.1929524

ECOTRUCK: An Agent System for Paper Recycling

Authors: Bezirgiannis, Nikolaos^Aff4, Sakellariou, Ilias^Aff5

Contributors: Iliadis, Lazaros, editor^Aff1, Maglogiannis, Ilias, editor^Aff2, Papadopoulos, Harris, editor^Aff3

Source: Artificial Intelligence Applications and Innovations : 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings , Part II. 364:303-312

XQuery in the Functional-Logic Language Toy

Authors: Almendros-Jiménez, Jesus M.^Aff17, Caballero, Rafael^Aff18, García-Ruiz, Yolanda^Aff18, Sáenz-Pérez, Fernando^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Kuchen, Herbert, editor^Aff16

Source: Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. 6816:35-51

Integrating XPath with the Functional-Logic Language Toy

Authors: Caballero, Rafael^Aff18, García-Ruiz, Yolanda^Aff18, Sáenz-Pérez, Fernando^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Rocha, Ricardo, editor^Aff16, Launchbury, John, editor^Aff17

Source: Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. 6539:145-159