Hanus, Michael From logic to functional logic programs. (English) Zbl 07595324 Theory Pract. Log. Program. 22, No. 4, 538-554 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Hanus}, Theory Pract. Log. Program. 22, No. 4, 538--554 (2022; Zbl 07595324) Full Text: DOI arXiv
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
Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Beginner’s Luck: a language for property-based generators. (English) Zbl 1380.68096 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 114-129 (2017). MSC: 68N18 PDFBibTeX XMLCite \textit{L. Lampropoulos} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 114--129 (2017; Zbl 1380.68096) Full Text: DOI arXiv
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
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
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)