Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo Interpolation-based height analysis for improving a recurrence solver. (English) Zbl 1367.68071 Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 7177, 36--53 (2012; Zbl 1367.68071) Full Text: DOI
Peña, Ricardo (ed.); van Eekelen, Marko (ed.); Shkaravska, Olha (ed.) Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046 Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012). MSC: 68-06 68Nxx 68Qxx 00B25 PDF BibTeX XML Cite \textit{R. Peña} (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68046)