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
Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M. An integrated framework for the diagnosis and correction of rule-based programs. (English) Zbl 1205.68113 Theor. Comput. Sci. 411, No. 47, 4055-4101 (2010). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 411, No. 47, 4055--4101 (2010; Zbl 1205.68113) Full Text: DOI
Moreno, Ginés Similarity-based equality with lazy evaluation. (English) Zbl 1209.68112 Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 108-117 (2010). MSC: 68N19 PDFBibTeX XMLCite \textit{G. Moreno}, Commun. Comput. Inf. Sci. 80, 108--117 (2010; Zbl 1209.68112) Full Text: DOI
Alpuente, Maria; Ballis, Demis; Falaschi, Moreno 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 \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 6125, 271--299 (2010; Zbl 1285.68026) Full Text: DOI
Nishida, Naoki; Vidal, Germán Termination of narrowing via termination of rewriting. (English) Zbl 1197.68049 Appl. Algebra Eng. Commun. Comput. 21, No. 3, 177-225 (2010). MSC: 68Q42 68N17 PDFBibTeX XMLCite \textit{N. Nishida} and \textit{G. Vidal}, Appl. Algebra Eng. Commun. Comput. 21, No. 3, 177--225 (2010; Zbl 1197.68049) 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
Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S. On-demand strategy annotations revisited: an improved on-demand evaluation strategy. (English) Zbl 1186.68092 Theor. Comput. Sci. 411, No. 2, 504-541 (2010). MSC: 68N15 68Q42 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theor. Comput. Sci. 411, No. 2, 504--541 (2010; Zbl 1186.68092) Full Text: DOI
Vidal, Germán Termination of narrowing in left-linear constructor systems. (English) Zbl 1137.68420 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, 113-129 (2008). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{G. Vidal}, Lect. Notes Comput. Sci. 4989, 113--129 (2008; Zbl 1137.68420) Full Text: DOI
Gallego Arias, Emilio Jesús; Mariño Carballo, Julio; Rey Poza, José María 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 \textit{E. J. Gallego Arias} et al., Electron. Notes Theor. Comput. Sci. 177, 269--285 (2007; Zbl 1279.68041) Full Text: DOI
Abramov, Sergei; Glück, Robert; Klimov, Yuri An universal resolving algorithm for inverse computation of lazy languages. (English) Zbl 1185.68328 Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 27-40 (2007). MSC: 68Q05 68Q10 68N30 PDFBibTeX XMLCite \textit{S. Abramov} et al., Lect. Notes Comput. Sci. 4378, 27--40 (2007; Zbl 1185.68328) Full Text: DOI
Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán Ensuring the quasi-termination of needed narrowing computations. (English) Zbl 1184.68165 Inf. Process. Lett. 101, No. 5, 220-226 (2007). MSC: 68N18 PDFBibTeX XMLCite \textit{J. G. Ramos} et al., Inf. Process. Lett. 101, No. 5, 220--226 (2007; Zbl 1184.68165) Full Text: DOI
Arroyo, Gustavo; Ramos, J. Guadalupe; Silva, Josep; Vidal, Germán Improving offline narrowing-driven partial evaluation using size-change graphs. (English) Zbl 1196.68037 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, 60-76 (2007). MSC: 68N18 68N17 PDFBibTeX XMLCite \textit{G. Arroyo} et al., Lect. Notes Comput. Sci. 4407, 60--76 (2007; Zbl 1196.68037) Full Text: DOI
Silva, Josep; Vidal, Germán Forward slicing of functional logic programs by partial evaluation. (English) Zbl 1112.68024 Theory Pract. Log. Program. 7, No. 1-2, 215-247 (2007). MSC: 68N17 68N18 68N15 PDFBibTeX XMLCite \textit{J. Silva} and \textit{G. Vidal}, Theory Pract. Log. Program. 7, No. 1--2, 215--247 (2007; Zbl 1112.68024) Full Text: DOI
Antoy, Sergio; Hanus, Michael 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 \textit{S. Antoy} and \textit{M. Hanus}, Lect. Notes Comput. Sci. 4079, 87--101 (2006; Zbl 1131.68364) Full Text: DOI
Casas, Amadeo; Cabeza, Daniel; Hermenegildo, Manuel V. A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems. (English) Zbl 1185.68151 Hagiya, Masami (ed.) et al., Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33438-6/pbk). Lecture Notes in Computer Science 3945, 146-162 (2006). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{A. Casas} et al., Lect. Notes Comput. Sci. 3945, 146--162 (2006; Zbl 1185.68151) Full Text: DOI Link
Alemandros-Jiménez, Jesús M.; Becerra-Terón, Antonio Database query languages and functional logic programming. (English) Zbl 1108.68026 New Generation Comput. 24, No. 2, 129-184 (2006). MSC: 68N17 68N18 68P15 68Q42 PDFBibTeX XMLCite \textit{J. M. Alemandros-Jiménez} and \textit{A. Becerra-Terón}, New Generation Comput. 24, No. 2, 129--184 (2006; Zbl 1108.68026) 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
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán Operational semantics for declarative multi-paradigm languages. (English) Zbl 1129.68042 J. Symb. Comput. 40, No. 1, 795-829 (2005). MSC: 68Q55 68N17 68N18 68N19 PDFBibTeX XMLCite \textit{E. Albert} et al., J. Symb. Comput. 40, No. 1, 795--829 (2005; Zbl 1129.68042) Full Text: DOI
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael Specialization of functional logic programs based on needed narrowing. (English) Zbl 1092.68018 Theory Pract. Log. Program. 5, No. 3, 273-303 (2005). MSC: 68N17 03B70 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 5, No. 3, 273--303 (2005; Zbl 1092.68018) Full Text: DOI
Escobar, Santiago Implementing natural rewriting and narrowing efficiently. (English) Zbl 1122.68371 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, 147-162 (2004). MSC: 68N17 68N30 68Q42 PDFBibTeX XMLCite \textit{S. Escobar}, Lect. Notes Comput. Sci. 2998, 147--162 (2004; Zbl 1122.68371) Full Text: DOI
Craig, Stephen-John; Leuschel, Michael LIX: an effective self-applicable partial evaluator for Prolog. (English) Zbl 1122.68367 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, 85-99 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{S.-J. Craig} and \textit{M. Leuschel}, Lect. Notes Comput. Sci. 2998, 85--99 (2004; Zbl 1122.68367) Full Text: DOI
Julián Iranzo, Pascual; Villamizar Lamus, Christian Analysing definitional trees: looking for determinism. (English) Zbl 1122.68374 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, 55-69 (2004). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{P. Julián Iranzo} and \textit{C. Villamizar Lamus}, Lect. Notes Comput. Sci. 2998, 55--69 (2004; Zbl 1122.68374) Full Text: DOI
Peltier, Nicolas A proof procedure for functional first order logic programs with non-deterministic lazy functions and built-in predicates. (English) Zbl 1084.68514 J. Funct. Log. Program. 2004, Article 3, 46 p. (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{N. Peltier}, J. Funct. Log. Program. 2004, Article 3, 46 p. (2004; Zbl 1084.68514) Full Text: Link
Vidal, Germán Cost-augmented partial evaluation of functional logic programs. (English) Zbl 1075.68010 High.-Order Symb. Comput. 17, No. 1-2, 7-46 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Vidal}, High.-Order Symb. Comput. 17, No. 1--2, 7--46 (2004; Zbl 1075.68010) Full Text: DOI
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio 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). MSC: 68P15 03B70 68N17 68N18 68Q42 PDFBibTeX XMLCite \textit{J. M. Almendros-Jiménez} and \textit{A. Becerra-Terón}, Electron. Notes Theor. Comput. Sci. 86, No. 3, 168--204 (2003; Zbl 1270.68101) Full Text: Link
Caballero, Rafael; López-Fraguas, Francisco Javier Improving deterministic computations in lazy functional logic languages. (English) Zbl 1034.68016 J. Funct. Log. Program. 2003, Spec. Iss. 1, Article 1, 23 p. (2003). MSC: 68N17 PDFBibTeX XMLCite \textit{R. Caballero} and \textit{F. J. López-Fraguas}, J. Funct. Log. Program. 2003, Article 1, 23 p. (2003; Zbl 1034.68016) Full Text: Link
Iranzo, Pascual Julián Partial evaluation of lazy functional logic programs. (English) Zbl 1159.68388 AI Commun. 16, No. 2, 121-123 (2003). MSC: 68N17 PDFBibTeX XMLCite \textit{P. J. Iranzo}, AI Commun. 16, No. 2, 121--123 (2003; Zbl 1159.68388)
Syropoulos, Apostolos; Tsolomitis, Antonis; Sofroniou, Nick Digital typography using LaTeX. With CD-ROM. (English) Zbl 1021.68104 Springer Professional Computing. New York, NY: Springer. xxix, 510 p. (2003). Reviewer: Neculai Curteanu (Iaşi) MSC: 68U15 68-01 68U35 PDFBibTeX XMLCite \textit{A. Syropoulos} et al., Digital typography using LaTeX. With CD-ROM. New York, NY: Springer (2003; Zbl 1021.68104)
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
Alpuente, María; Correa, Franciso; Falaschi, Moreno A debugging scheme for functional logic programs. (English) Zbl 1268.68062 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, 18-55 (2002). MSC: 68N30 68N17 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Electron. Notes Theor. Comput. Sci. 64, 18--55 (2002; Zbl 1268.68062) Full Text: DOI
Albert, Elvira; Hanus, Michael; Vidal, Germán A practical partial evaluation scheme for multi-paradigm declarative languages. (English) Zbl 1037.68011 J. Funct. Log. Program. 2002, Spec. Iss. 1, Article 1, 34 p. (2002). MSC: 68N15 PDFBibTeX XMLCite \textit{E. Albert} et al., J. Funct. Log. Program. 2002, Article 1, 34 p. (2002; Zbl 1037.68011) Full Text: Link
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
Alpuente, M.; Correa, F. J.; Falaschi, M. Declarative debugging of functional logic programs. (English) Zbl 1268.68091 Gramlich, Bernhard (ed.) et al., WRS 2001. 1st international workshop on reduction strategies in rewriting and programming, Utrecht, The Netherlands, May 26, 2001. Post-workshop proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 57, 17-40 (2001). MSC: 68Q42 68N17 68N18 68N30 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Electron. Notes Theor. Comput. Sci. 57, 17--40 (2001; Zbl 1268.68091) Full Text: DOI
Arenas-Sánchez, Puri; Rodríguez-Artalejo, Mario A general framework for lazy functional logic programming with algebraic polymorphic types. (English) Zbl 1066.68511 Theory Pract. Log. Program. 1, No. 2, 185-245 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{P. Arenas-Sánchez} and \textit{M. Rodríguez-Artalejo}, Theory Pract. Log. Program. 1, No. 2, 185--245 (2001; Zbl 1066.68511)
Albert, Elvira; Antoy, Sergio; Vidal, Germán 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 \textit{E. Albert} et al., Lect. Notes Comput. Sci. 2042, 103--124 (2001; Zbl 1018.68500) Full Text: Link
Almendros-Jiménez, Jesús M.; Becerra-Terón, Antonio A framework for goal-directed bottom-up evaluation of functional logic programs. (English) Zbl 0977.68580 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, 153-169 (2001). MSC: 68U99 68N17 68N18 68P15 PDFBibTeX XMLCite \textit{J. M. Almendros-Jiménez} and \textit{A. Becerra-Terón}, Lect. Notes Comput. Sci. 2024, 153--169 (2001; Zbl 0977.68580) Full Text: Link
Albert, Elvira Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency. (English) Zbl 1018.68014 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 74, 281-291 (2001). MSC: 68N15 68-02 PDFBibTeX XMLCite \textit{E. Albert}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 74, 281--291 (2001; Zbl 1018.68014)
Hanus, Michael; Lucas, Salvador An evaluation semantics for narrowing-based functional logic languages. (English) Zbl 0971.68097 J. Funct. Log. Program. 2001, Spec. Iss. 1, 43 p. (2001). MSC: 68Q55 68Q45 68N17 PDFBibTeX XMLCite \textit{M. Hanus} and \textit{S. Lucas}, J. Funct. Log. Program. 2001, 43 p. (2001; Zbl 0971.68097) Full Text: Link
Antoy, Sergio; Hanus, Michael Compiling multi-paradigm declarative programs into Prolog. (English) Zbl 0969.68667 Kirchner, Hélène (ed.) et al., Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1794, 171-185 (2000). MSC: 68U99 68N17 68N15 PDFBibTeX XMLCite \textit{S. Antoy} and \textit{M. Hanus}, Lect. Notes Comput. Sci. 1794, 171--185 (2000; Zbl 0969.68667)
Boley, Harold A tight, practical integration of relations and functions. (English) Zbl 1045.68001 Lecture Notes in Computer Science 1712. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-66644-3/pbk). xi, 169 p. (1999). MSC: 68-02 68N18 68N15 PDFBibTeX XMLCite \textit{H. Boley}, A tight, practical integration of relations and functions. Berlin: Springer (1999; Zbl 1045.68001)
Hanus, Michael; Lucas, Salvador A semantics for program analysis in narrowing-based functional logic languages. (English) Zbl 0988.68089 Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 353-368 (1999). MSC: 68Q42 68N17 68N18 PDFBibTeX XMLCite \textit{M. Hanus} and \textit{S. Lucas}, Lect. Notes Comput. Sci. 1722, 353--368 (1999; Zbl 0988.68089)
Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán A transformation system for lazy functional logic programs. (English) Zbl 0988.68507 Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 147-162 (1999). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 1722, 147--162 (1999; Zbl 0988.68507)
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M. An approach to declarative programming based on a rewriting logic. (English) Zbl 0942.68060 J. Log. Program. 40, No. 1, 47-87 (1999). MSC: 68Q42 68N17 PDFBibTeX XMLCite \textit{J. C. González-Moreno} et al., J. Log. Program. 40, No. 1, 47--87 (1999; Zbl 0942.68060) Full Text: DOI
Faßbender, Heinz; Maneth, Sebastian A strict border for the decidability of \(E\)-unification for recursive functions. (English) Zbl 0924.68049 J. Funct. Log. Program. 1998, Article No. 4 (1998). MSC: 68N17 PDFBibTeX XMLCite \textit{H. Faßbender} and \textit{S. Maneth}, J. Funct. Log. Program. 1998, Article No. 4 (1998; Zbl 0924.68049) Full Text: Link
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G. Improving control in functional logic program specialization. (English) Zbl 0911.68036 Levi, Giorgio (ed.), Static analysis. 5th international symposium, SAS ’98, Pisa, Italy, September 14–16, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1503, 262-277 (1998). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 1503, 262--277 (1998; Zbl 0911.68036)
Limet, Sébastien; Réty, Pierre Solving disequations modulo some class of rewrite systems. (English) Zbl 0906.03008 Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 121-135 (1998). Reviewer: K.Stroetmann (München) MSC: 03B35 68Q42 PDFBibTeX XMLCite \textit{S. Limet} and \textit{P. Réty}, Lect. Notes Comput. Sci. 1379, 121--135 (1998; Zbl 0906.03008)
Arenas-Sánchez, Puri; Rodríguez-Artalejo, M. A lazy narrowing calculus for functional logic programming with algebraic polymorphic types. (English) Zbl 0944.68016 Małuszyński, Jan (ed.), Logic programming. Proceedings of the international symposium (ILPS’97) held in Port Washington, NY, USA, October 13-16, 1997. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 53-67 (1997). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{P. Arenas-Sánchez} and \textit{M. Rodríguez-Artalejo}, in: Logic programming. Proceedings of the international symposium (ILPS'97) held in Port Washington, NY, USA, October 13-16, 1997. Cambridge, MA: MIT Press. 53--67 (1997; Zbl 0944.68016)
Chakravarty, Manuel M. T.; Lock, Hendrik C. R. Towards the uniform implementation of declarative languages. (English) Zbl 0899.68024 Comput. Lang. 23, No. 2-4, 121-160 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{M. M. T. Chakravarty} and \textit{H. C. R. Lock}, Comput. Lang. 23, No. 2--4, 121--160 (1997; Zbl 0899.68024) Full Text: DOI
Hanus, Michael; Prehofer, Christian Higher-order narrowing with definitional trees. (English) Zbl 1503.68033 Ganzinger, Harald (ed.), Rewriting techniques and applications. 7th international conference, RTA ’96, New Brunswick, NJ, USA, July 27–30, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1103, 138-152 (1996). MSC: 68N17 68N18 68Q42 PDFBibTeX XMLCite \textit{M. Hanus} and \textit{C. Prehofer}, Lect. Notes Comput. Sci. 1103, 138--152 (1996; Zbl 1503.68033) Full Text: DOI
Loogen, Rita; Winkler, Stephan Dynamic detection of determinism in functional logic languages. (English) Zbl 0873.68022 Theor. Comput. Sci. 142, No. 1, 59-87 (1995). MSC: 68N17 PDFBibTeX XMLCite \textit{R. Loogen} and \textit{S. Winkler}, Theor. Comput. Sci. 142, No. 1, 59--87 (1995; Zbl 0873.68022) Full Text: DOI
Faßbender, Heinz Implementation of a uu-algorithm for primitive recursive tree functions. (English) Zbl 1508.68151 Reichel, Horst (ed.), Fundamentals of computation theory. 10th international conference, FCT’95, Dresden, Germany, August 22–25, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 965, 233-242 (1995). MSC: 68Q42 68W05 PDFBibTeX XMLCite \textit{H. Faßbender}, Lect. Notes Comput. Sci. 965, 233--242 (1995; Zbl 1508.68151) Full Text: DOI
Suzuki, Taro; Middeldorp, Aart; Ida, Tetsuo Level-confluence of conditional rewrite systems with extra variables in right-hand sides. (English) Zbl 1503.68159 Hsiang, Jieh (ed.), Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 914, 179-193 (1995). MSC: 68Q42 68N17 68N18 PDFBibTeX XMLCite \textit{T. Suzuki} et al., Lect. Notes Comput. Sci. 914, 179--193 (1995; Zbl 1503.68159) 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
Alpuente, María; Falaschi, Moreno; Gabbrielli, Maurizio; Levi, Giorgio The semantics of equational logic programming as an instance of CLP. (English) Zbl 0832.68013 Apt, K. R. (ed.) et al., Logic programming languages. Constraints, functions, and objects. London: MIT Press. 49-81 (1993). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Alpuente} et al., in: Logic programming languages. Constraints, functions, and objects. London: MIT Press. 49--81 (1993; Zbl 0832.68013)
González-Moreno, Juan Carlos; Hortalá-González, María Teresa; Rodríguez-Artalejo, Mario On the completeness of narrowing as the operational semantics of functional logic programming. (English) Zbl 0797.68103 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 216-230 (1993). MSC: 68Q55 68N17 68Q65 PDFBibTeX XMLCite \textit{J. C. González-Moreno} et al., Lect. Notes Comput. Sci. 702, 216--230 (1993; Zbl 0797.68103)
Loogen, Rita; López Fraguas, Francisco; Rodríguez-Artalejo, Mario A demand driven computation strategy for lazy narrowing. (English) Zbl 0791.68021 Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 184-200 (1993). MSC: 68N17 68Q42 68Q60 PDFBibTeX XMLCite \textit{R. Loogen} et al., Lect. Notes Comput. Sci. 714, 184--200 (1993; Zbl 0791.68021)
Moreno-Navarro, Juan José; Kuchen, Herbert; Mariño-Carballo, Julio; Winkler, Stephan; Hans, Werner Efficient lazy narrowing using demandedness analysis. (English) Zbl 0789.68018 Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 167-183 (1993). MSC: 68N17 PDFBibTeX XMLCite \textit{J. J. Moreno-Navarro} et al., Lect. Notes Comput. Sci. 714, 167--183 (1993; Zbl 0789.68018)
Boye, Johan Avoiding dynamic delays in functional logic programs. (English) Zbl 0791.68016 Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 12-27 (1993). MSC: 68N17 68R10 PDFBibTeX XMLCite \textit{J. Boye}, Lect. Notes Comput. Sci. 714, 12--27 (1993; Zbl 0791.68016)
Loogen, Rita Relating the implementation techniques of functional and functional logic languages. (English) Zbl 0774.68021 New Generation Comput. 11, No. 2, 179-215 (1993). MSC: 68N15 PDFBibTeX XMLCite \textit{R. Loogen}, New Generation Comput. 11, No. 2, 179--215 (1993; Zbl 0774.68021) Full Text: DOI
Fassbender, Heinz; Vogler, Heiko An implementation of syntax directed functional programming on nested- stack machines. (English) Zbl 0748.68008 Formal Asp. Comput. 4, No. 4, 341-375 (1992). MSC: 68N15 68Q45 68Q05 PDFBibTeX XMLCite \textit{H. Fassbender} and \textit{H. Vogler}, Formal Asp. Comput. 4, No. 4, 341--375 (1992; Zbl 0748.68008) Full Text: DOI
Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario Logic programming with functions and predicates: The language BABEL. (English) Zbl 0754.68031 J. Log. Program. 12, No. 3, 191-223 (1992). MSC: 68N17 68N15 68Q55 PDFBibTeX XMLCite \textit{J. J. Moreno-Navarro} and \textit{M. Rodríguez-Artalejo}, J. Log. Program. 12, No. 3, 191--223 (1992; Zbl 0754.68031) Full Text: DOI
Kuchen, Herbert; Loogen, Rita; Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario Graph-based implementation of a functional logic language. (English) Zbl 0765.68021 ESOP’90, Proc. 3rd Eur. Symp., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 432, 271-290 (1990). MSC: 68N20 68N15 PDFBibTeX XMLCite \textit{H. Kuchen} et al., Lect. Notes Comput. Sci. 432, 271--290 (1990; Zbl 0765.68021)
Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario BABEL: A functional and logic programming language based on constructor discipline and narrowing. (English) Zbl 0708.68015 Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343, 223-232 (1989). Reviewer: M.Steinby MSC: 68N17 68N15 68Q55 68N01 68Q42 PDFBibTeX XML
Grabowski, Jan (ed.); Lescanne, Pierre (ed.); Wechler, Wolfgang (ed.) Algebraic and logic programming. Proceedings of an international workshop held in Gaussig (GDR), November 14-18, 1988. (English) Zbl 0743.68017 Mathematical Research. 49. Berlin: Akademie-Verlag. 278 p. (1988). Reviewer: I. Păvăloi (Iaşi) MSC: 68-06 00B25 68N17 68Q42 PDFBibTeX XMLCite \textit{J. Grabowski} (ed.) et al., Algebraic and logic programming. Proceedings of an international workshop held in Gaussig (GDR), November 14-18, 1988. Berlin: Akademie-Verlag (1988; Zbl 0743.68017)