×

Found 9 Documents (Results 1–9)

Collected size semantics for strict functional programs over general polymorphic lists. (English) Zbl 1445.68047

Dal Lago, Ugo (ed.) et al., Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8552, 143-159 (2014).
MSC:  68N18 68P05 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. (English) Zbl 1195.68013

Lecture Notes in Computer Science 6324. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). ix, 163 p. (2010).
PDFBibTeX XMLCite
Full Text: DOI

Inferring static non-monotone size-aware types through testing. (English) Zbl 1283.68129

Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 45-63 (2008).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Polynomial size analysis of first-order functions. (English) Zbl 1163.68316

Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 351-365 (2007).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software