×

Found 55 Documents (Results 1–55)

A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 186-204 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Research summary on implementing functional patterns by synthesizing inverse functions. (English) Zbl 07455733

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 296-302 (2020).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Compiling a functional logic language: The Fair Scheme. (English) Zbl 1453.68039

Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 202-219 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Improving lazy non-deterministic computations by demand analysis. (English) Zbl 1281.68081

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 130-143, electronic only (2012).
MSC:  68N30 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers. (English) Zbl 1354.68036

Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 120-135 (2012).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A theoretical framework for the higher-order cooperation of numeric constraint domains. (English) Zbl 1347.68059

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 55-69 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Transforming functional logic programs into monadic functional programs. (English) Zbl 1327.68060

Mariño, Julio (ed.), Functional and constraint logic programming. 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20774-7/pbk). Lecture Notes in Computer Science 6559, 30-47 (2011).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Cooperation of algebraic constraint domains in higher-order functional and logic programming. (English) Zbl 1308.68030

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 180-200 (2011).
MSC:  68N18 68N17
PDFBibTeX XMLCite
Full Text: DOI

Transformation and debugging of functional logic programs. (English) Zbl 1285.68026

Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 271-299 (2010).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions. (English) Zbl 1274.68046

Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 162-178 (2010).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A logical framework for debugging in declarative constraint programming. (English) Zbl 1291.68151

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the fourth workshop on logical and semantic frameworks, with applications (LSFA 2009), Brasilia, Brazil, August 28, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 256, 119-135 (2009).
PDFBibTeX XMLCite
Full Text: DOI

A hierarchy of semantics for non-deterministic term rewriting systems. (English) Zbl 1248.68279

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 328-339, electronic only (2008).
PDFBibTeX XMLCite
Full Text: DOI Link

Denotation by transformation. Towards obtaining a denotational semantics by transformation to point-free style. (English) Zbl 1179.68032

King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 90-105 (2008).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Declarative diagnosis of missing answers in constraint functional-logic programming. (English) Zbl 1137.68337

Garrigue, Jacques (ed.) et al., Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78968-0/pbk). Lecture Notes in Computer Science 4989, 305-321 (2008).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A proposal for disequality constraints in Curry. (English) Zbl 1279.68041

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 269-285 (2007).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Implementing dynamic-cut in \(\mathcal{T}OY\). (English) Zbl 1279.68038

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 153-168 (2007).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A framework for interpreting traces of functional logic computations. (English) Zbl 1279.68037

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 91-106 (2007).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A framework for timed concurrent constraint programming with external functions. (English) Zbl 1278.68066

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 143-155 (2007).
MSC:  68N19 68N15
PDFBibTeX XMLCite
Full Text: DOI

Equivalence of two formal semantics for functional logic programs. (English) Zbl 1278.68051

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 117-142 (2007).
MSC:  68N17 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Lazy context cloning for non-deterministic graph rewriting. (English) Zbl 1278.68116

Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 3-23 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Semantic determinism and functional logic program properties. (English) Zbl 1277.68048

Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 3-15 (2007).
MSC:  68N17 68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

A program transformation for tracing functional logic computations. (English) Zbl 1196.68038

Puebla, Germán (ed.), Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12–14, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71409-5/pbk). Lecture Notes in Computer Science 4407, 160-176 (2007).
MSC:  68N18 68N17
PDFBibTeX XMLCite
Full Text: DOI

Overlapping rules and logic variables in functional logic programs. (English) Zbl 1131.68364

Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 87-101 (2006).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Run-time profiling of functional logic programs. (English) Zbl 1134.68329

Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 182-197 (2005).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A virtual machine for functional logic computations. (English) Zbl 1119.68326

Grelck, C. (ed.) et al., Implementation and application of functional languages. 16th international workshop, IFL 2004, Lübeck, Germany, September 8–10, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26094-3/pbk). Lecture Notes in Computer Science 3474, 108-125 (2005).
MSC:  68N18 68N17 68Q05
PDFBibTeX XMLCite
Full Text: DOI

\(\mathcal{DDT}\): a declarative debugging tool for functional-logic languages. (English) Zbl 1122.68366

Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 70-84 (2004).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A safe relational calculus for functional logic deductive databases. (English) Zbl 1270.68101

Brim, Lubos (ed.) et al., WFLP 2003. Selected papers of the 12th international workshop on functional and constraint logic programming (in connection with RDP’03, Federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 3, 168-204 (2003).
PDFBibTeX XMLCite
Full Text: Link

Failure and equality in functional logic programming. (English) Zbl 1270.68061

Brim, Lubos (ed.) et al., WFLP 2003. Selected papers of the 12th international workshop on functional and constraint logic programming (in connection with RDP’03, Federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 3, 123-143 (2003).
PDFBibTeX XMLCite
Full Text: Link

A declarative debugging system for lazy functional logic programs. (English) Zbl 1268.68064

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 113-175 (2002).
MSC:  68N30 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Improving the efficiency of non-deterministic computations. (English) Zbl 1268.68058

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 73-94 (2002).
MSC:  68N19 68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Solving combinatorial problems with a constraint functional logic language. (English) Zbl 1026.68774

Dahl, Veronica (ed.) et al., Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2562, 320-338 (2002).
PDFBibTeX XMLCite
Full Text: Link

Narrowing failure in functional logic programming. (English) Zbl 1019.68018

Hu, Zhenjiang (ed.) et al., Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2441, 212-227 (2002).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: Link

Functional logic programming with failure: a set-oriented view. (English) Zbl 1275.68047

Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 455-469 (2001).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

A computational model for functional logic deductive databases. (English) Zbl 1053.68563

Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 331-347 (2001).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: Link

Measuring the effectiveness of partial evaluation in functional logic languages. (English) Zbl 1018.68500

Lau, Kung-Kiu (ed.), Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24-28, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2042, 103-124 (2001).
MSC:  68N17 68N18 68N15
PDFBibTeX XMLCite
Full Text: Link

A practical partial evaluator for a multi-paradigm declarative language. (English) Zbl 0977.68593

Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 326-342 (2001).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software