Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel Certificate size reduction in abstraction-carrying code. (English) Zbl 1247.68042 Theory Pract. Log. Program. 12, No. 3, 283-318 (2012). MSC: 68N17 68N99 PDFBibTeX XMLCite \textit{E. Albert} et al., Theory Pract. Log. Program. 12, No. 3, 283--318 (2012; Zbl 1247.68042) Full Text: DOI arXiv
Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G. An overview of Ciao and its design philosophy. (English) Zbl 1244.68019 Theory Pract. Log. Program. 12, No. 1-2, 219-252 (2012). MSC: 68N17 68N15 68N20 PDFBibTeX XMLCite \textit{M. V. Hermenegildo} et al., Theory Pract. Log. Program. 12, No. 1--2, 219--252 (2012; Zbl 1244.68019) Full Text: DOI
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán Closed-form upper bounds in static cost analysis. (English) Zbl 1213.68200 J. Autom. Reasoning 46, No. 2, 161-203 (2011). MSC: 68N30 68N01 PDFBibTeX XMLCite \textit{E. Albert} et al., J. Autom. Reasoning 46, No. 2, 161--203 (2011; Zbl 1213.68200) Full Text: DOI
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán Type-based homeomorphic embedding for online termination. (English) Zbl 1205.68508 Inf. Process. Lett. 109, No. 15, 879-886 (2009). MSC: 68W25 PDFBibTeX XMLCite \textit{E. Albert} et al., Inf. Process. Lett. 109, No. 15, 879--886 (2009; Zbl 1205.68508) Full Text: DOI
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán Type-based homeomorphic embedding and its applications to online partial evaluation. (English) Zbl 1179.68031 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, 23-42 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 4915, 23--42 (2008; Zbl 1179.68031) Full Text: DOI
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel Abstraction-carrying code: a model for mobile code safety. (English) Zbl 1169.68356 New Generation Comput. 26, No. 2, 171-204 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Albert} et al., New Generation Comput. 26, No. 2, 171--204 (2008; Zbl 1169.68356) Full Text: DOI Link
Ochoa, Claudio; Puebla, Germán A study on the practicality of poly-controlled partial evaluation. (English) Zbl 1279.68043 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, 137-151 (2007). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{C. Ochoa} and \textit{G. Puebla}, Electron. Notes Theor. Comput. Sci. 177, 137--151 (2007; Zbl 1279.68043) Full Text: DOI
Puebla, G.; Hermenegildo, M. Some issues in analysis and specialization of modular Ciao-Prolog programs. (English) Zbl 0958.68031 Leuschel, Michael (ed.), WOID ’99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,2, 25 p., electronic only (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Puebla} and \textit{M. Hermenegildo}, in: WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999. Amsterdam: Elsevier. 25 p. (1999; Zbl 0958.68031)
Puebla, Germán; Hermenegildo, Manuel Optimized algorithms for incremental analysis of logic programs. (English) Zbl 1482.68075 Cousot, Radhia (ed.) et al., Static analysis. Third international symposium, SAS ’96, Aachen, Germany, September 24–26, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1145, 270-284 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Puebla} and \textit{M. Hermenegildo}, Lect. Notes Comput. Sci. 1145, 270--284 (1996; Zbl 1482.68075) Full Text: DOI Link