Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2015

Autores

Pedro Vasconcelos (Autor) FCUP; Steffen Jost (Autor) Outra; Mario Florido (Autor) FCUP; Kevin Hammond (Autor) Outra

Ata de Conferência Internacional

Título: PROGRAMMING LANGUAGES AND SYSTEMS

Páginas: 787-811

24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS)

London, ENGLAND, APR 11-18, 2015

Indexação

ISI Web of Knowledge - 7 Citações

Scopus - 8 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-00A-AWP

DOI: 10.1007/978-3-662-46669-8_32

Abstract (EN): This paper presents a novel type-and-effect analysis for predicting upper-bounds on memory allocation costs for co-recursive definitions in a simple lazily-evaluated functional language. We show the soundness of this system against an instrumented variant of Launch-bury's semantics for lazy evaluation which serves as a formal cost model. Our soundness proof requires an intermediate semantics employing indirections. Our proof of correspondence between these semantics that we provide is thus a crucial part of this work. The analysis has been implemented as an automatic inference system. We demonstrate its effectiveness using several example programs that previously could not be automatically analysed.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 25