Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDFBibTeX XMLCite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI arXiv
Antoy, Sergio; Hanus, Michael Transforming Boolean equalities into constraints. (English) Zbl 1362.68034 Formal Asp. Comput. 29, No. 3, 475-494 (2017). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{M. Hanus}, Formal Asp. Comput. 29, No. 3, 475--494 (2017; Zbl 1362.68034) Full Text: DOI
Antoy, Sergio; Hanus, Michael From Boolean equalities to constraints. (English) Zbl 1362.68033 Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 73-88 (2015). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{M. Hanus}, Lect. Notes Comput. Sci. 9527, 73--88 (2015; Zbl 1362.68033) Full Text: DOI Link
Antoy, Sergio; Jost, Andy Compiling collapsing rules in certain constructor systems. (English) Zbl 1473.68042 Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 57-72 (2015). MSC: 68N30 68N20 68Q42 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{A. Jost}, Lect. Notes Comput. Sci. 9527, 57--72 (2015; Zbl 1473.68042) Full Text: DOI Link
Antoy, Sergio; Jost, Andy 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). MSC: 68N20 68N15 68N17 68N18 68Q42 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{A. Jost}, Lect. Notes Comput. Sci. 8901, 202--219 (2014; Zbl 1453.68039) Full Text: DOI
Hanus, Michael Functional logic programming: from theory to Curry. (English) Zbl 1383.68017 Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 123-168 (2013). MSC: 68N18 68N17 PDFBibTeX XMLCite \textit{M. Hanus}, Lect. Notes Comput. Sci. 7797, 123--168 (2013; Zbl 1383.68017) Full Text: DOI
Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian 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 \textit{B. Braßel} et al., Lect. Notes Comput. Sci. 6559, 30--47 (2011; Zbl 1327.68060) Full Text: DOI
Antoy, Sergio Programming with narrowing: a tutorial. (English) Zbl 1192.68135 J. Symb. Comput. 45, No. 5, 501-522 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{S. Antoy}, J. Symb. Comput. 45, No. 5, 501--522 (2010; Zbl 1192.68135) Full Text: DOI
Braßel, Bernd; Fischer, Sebastian; Huch, Frank Declaring numbers. (English) Zbl 1283.68133 Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 111-124 (2008). MSC: 68P05 68N17 68N18 PDFBibTeX XMLCite \textit{B. Braßel} et al., Electron. Notes Theor. Comput. Sci. 216, 111--124 (2008; Zbl 1283.68133) Full Text: DOI OA License
Braßel, Bernd; Christiansen, Jan A relation algebraic semantics for a lazy functional logic language. (English) Zbl 1138.68345 Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 37-53 (2008). MSC: 68N15 03G15 68N17 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{B. Braßel} and \textit{J. Christiansen}, Lect. Notes Comput. Sci. 4988, 37--53 (2008; Zbl 1138.68345) Full Text: DOI
Berghammer, Rudolf; Fischer, Sebastian Implementing relational specifications in a constraint functional logic language. (English) Zbl 1279.68036 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, 169-183 (2007). MSC: 68N17 68N18 68T20 PDFBibTeX XMLCite \textit{R. Berghammer} and \textit{S. Fischer}, Electron. Notes Theor. Comput. Sci. 177, 169--183 (2007; Zbl 1279.68036) Full Text: DOI
Braßel, Bernd 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 \textit{B. Braßel}, Electron. Notes Theor. Comput. Sci. 177, 91--106 (2007; Zbl 1279.68037) Full Text: DOI
Hanus, Michael Reporting failures in functional logic programs. (English) Zbl 1279.68048 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, 59-73 (2007). MSC: 68N20 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hanus}, Electron. Notes Theor. Comput. Sci. 177, 59--73 (2007; Zbl 1279.68048) Full Text: DOI
Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui 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). MSC: 68Q42 68N17 68N18 68R10 PDFBibTeX XMLCite \textit{S. Antoy} et al., Electron. Notes Theor. Comput. Sci. 176, No. 1, 3--23 (2007; Zbl 1278.68116) Full Text: DOI
Braßel, Bernd; Huch, Frank On a tighter integration of functional and logic programming. (English) Zbl 1137.68336 Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 122-138 (2007). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Braßel} and \textit{F. Huch}, Lect. Notes Comput. Sci. 4807, 122--138 (2007; Zbl 1137.68336) Full Text: DOI
Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew 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 \textit{S. Antoy} et al., Lect. Notes Comput. Sci. 3474, 108--125 (2005; Zbl 1119.68326) Full Text: DOI
Antoy, Sergio Evaluation strategies for functional logic programming. (English) Zbl 1129.68019 J. Symb. Comput. 40, No. 1, 875-903 (2005). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Antoy}, J. Symb. Comput. 40, No. 1, 875--903 (2005; Zbl 1129.68019) Full Text: DOI
Braßel, Bernd; Hanus, Michael Nondeterminism analysis of functional logic programs. (English) Zbl 1165.68326 Gabbrielli, Maurizio (ed.) et al., Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29208-X/pbk). Lecture Notes in Computer Science 3668, 265-279 (2005). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Braßel} and \textit{M. Hanus}, Lect. Notes Comput. Sci. 3668, 265--279 (2005; Zbl 1165.68326) Full Text: DOI
Tolmach, Andrew; Antoy, Sergio; Nita, Marius Implementing functional logic languages using multiple threads and stores. (English) Zbl 1323.68167 Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 90-102 (2004). MSC: 68N18 68N17 68N20 PDFBibTeX XMLCite \textit{A. Tolmach} et al., in: Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP '04, Uppsala, Snowbird, UT, USA, September 19--21, 2004. New York, NY: Association for Computing Machinery (ACM). 90--102 (2004; Zbl 1323.68167) Full Text: DOI
Braßel, Bernd; Hanus, Michael; Huch, Frank Encapsulating non-determinism in functional logic computations. (English) Zbl 1084.68511 J. Funct. Log. Program. 2004, Spec. Iss. 1, Article 6, 28 p. (2004). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Braßel} et al., J. Funct. Log. Program. 2004, Article 6, 28 p. (2004; Zbl 1084.68511) Full Text: Link
Hanus, Michael Dynamic predicates in functional logic programs. (English) Zbl 1084.68513 J. Funct. Log. Program. 2004, Spec. Iss. 1, Article 5, 19 p. (2004). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hanus}, J. Funct. Log. Program. 2004, Article 5, 19 p. (2004; Zbl 1084.68513) Full Text: Link
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán Rules + strategies for transforming lazy functional logic programs. (English) Zbl 1070.68018 Theor. Comput. Sci. 311, No. 1-3, 479-525 (2004). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 311, No. 1--3, 479--525 (2004; Zbl 1070.68018) Full Text: DOI
Antoy, Sergio; Iranzo, Pascual Julián; Massey, Bart 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 \textit{S. Antoy} et al., Electron. Notes Theor. Comput. Sci. 64, 73--94 (2002; Zbl 1268.68058) Full Text: DOI
Albert, Elvira; Vidal, Germán The narrowing-driven approach to functional logic program specialization. (English) Zbl 1016.68024 New Generation Comput. 20, No. 1, 3-26 (2002). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{E. Albert} and \textit{G. Vidal}, New Generation Comput. 20, No. 1, 3--26 (2002; Zbl 1016.68024) Full Text: DOI
Hanus, Michael The integration of functions into logic programming: From theory to practice. (English) Zbl 0942.68526 J. Log. Program. 19-20, 583-628 (1994). MSC: 68N17 68N01 68N15 PDFBibTeX XMLCite \textit{M. Hanus}, J. Log. Program. 19--20, 583--628 (1994; Zbl 0942.68526) Full Text: DOI