Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

10th symposium on trends in functional programming TFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA, JUNE 2-4, 2009, 2 juni 2009

[1]  Roberto M. Amadio.  Synthesis of max-plus quasi-interpretations , 2005, Fundam. Informaticae.

[2]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[3]  Olha Shkaravska,et al.  Size Analysis of Algebraic Data Types , 2008, TFP 2008 2008.

[4]  Olha Shkaravska,et al.  Inferring static non-monotonically sized types through testing , 2007 .

[5]  Kenneth MacKenzie,et al.  Mobile Resource Guarantees and Policies , 2005, CASSIS.

[6]  Kazushige Terui,et al.  Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic , 2007, Log. Methods Comput. Sci..

[7]  Marko C. J. D. van Eekelen,et al.  Polynomial Size Analysis of First-Order Functions , 2007, TLCA.

[8]  Nao Hirokawa,et al.  Polynomial Interpretations with Negative Coefficients , 2004, AISC.

[9]  Marco Gaboardi,et al.  A logical account of pspace , 2008, POPL '08.

[10]  O. Shkaravska,et al.  Collected Size Semantics for Functional Programs ? , 2008 .

[11]  Pedro B. Vasconcelos.  Space cost analysis using sized types , 2008 .

[12]  Elvira Albert,et al.  Cost Analysis of Java Bytecode , 2007, ESOP.

[13]  Martin Hofmann,et al.  Static prediction of heap space usage for first-order functional programs , 2003, POPL '03.

[14]  Martin Hofmann,et al.  Type-Based Amortised Heap-Space Analysis , 2006, ESOP.

[15]  Elvira Albert,et al.  Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis , 2008, SAS.

[16]  Guillaume Bonfante,et al.  Quasi-interpretations a way to control resources , 2011, Theor. Comput. Sci..

[17]  Bart Jacobs,et al.  AHA: Amortized Heap Space Usage Analysis , 2007, Trends in Functional Programming.