Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. A partial evaluation framework for order-sorted equational programs modulo axioms. (English) Zbl 1494.68048 J. Log. Algebr. Methods Program. 110, Article ID 100501, 36 p. (2020). MSC: 68N30 08A70 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 110, Article ID 100501, 36 p. (2020; Zbl 1494.68048) Full Text: DOI
Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis Symbolic analysis of Maude theories with Narval. (English) Zbl 1434.68214 Theory Pract. Log. Program. 19, No. 5-6, 874-890 (2019). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Theory Pract. Log. Program. 19, No. 5--6, 874--890 (2019; Zbl 1434.68214) Full Text: DOI arXiv
Kirchner, Hélene Rewriting strategies and strategic rewrite programs. (English) Zbl 1321.68331 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 380-403 (2015). MSC: 68Q42 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{H. Kirchner}, Lect. Notes Comput. Sci. 9200, 380--403 (2015; Zbl 1321.68331) Full Text: DOI HAL
Escobar, Santiago Functional logic programming in Maude. (English) Zbl 1407.68081 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 315-336 (2014). MSC: 68N17 68N18 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Escobar}, Lect. Notes Comput. Sci. 8373, 315--336 (2014; Zbl 1407.68081) 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
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
Padawitz, Peter Expander2: program verification between interaction and automation. (English) Zbl 1279.68293 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, 35-57 (2007). MSC: 68T15 03B70 68N30 68Q65 68Q42 PDFBibTeX XMLCite \textit{P. Padawitz}, Electron. Notes Theor. Comput. Sci. 177, 35--57 (2007; Zbl 1279.68293) Full Text: DOI