Collected size semantics for strict functional programs over general 
polymorphic lists

Shkaravska, Olha; Van Eekelen, Marko; Tamalet, Alejandro

doi:10.1007/978-3-319-12466-7_9

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Collected size semantics for strict functional programs over general polymorphic lists

MPS-Authors

/persons/resource/persons104503

Shkaravska, Olha
The Language Archive, MPI for Psycholinguistics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Shkaravska_etal_2014.pdf
(Publisher version), 531KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Shkaravska, O., Van Eekelen, M., & Tamalet, A. (2014). Collected size semantics for strict functional programs over general polymorphic lists. In U. Dal Lago, & R. Pena (Eds.), Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers (pp. 143-159). Berlin: Springer.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0024-60C9-5

Abstract

Size analysis can be an important part of heap consumption analysis. This paper is a part of ongoing work about typing support for checking output-on-input size dependencies for function definitions in a strict functional language. A significant restriction for our earlier results is that inner data structures (e.g. in a list of lists) all must have the same size. Here, we make a big step forwards by overcoming this limitation via the introduction of higher-order size annotations such that variate sizes of inner data structures can be expressed. In this way the analysis becomes applicable for general, polymorphic nested lists.