English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Collected size semantics for strict functional programs over general polymorphic lists

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-60C9-5 Version Permalink: https://hdl.handle.net/21.11116/0000-0004-8534-B
Genre: Conference Paper

Files

show Files
hide Files
:
Shkaravska_etal_2014.pdf (Publisher version), 531KB
View   Save
File Permalink:
https://hdl.handle.net/11858/00-001M-0000-0024-60CB-1
Name:
Shkaravska_etal_2014.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Shkaravska, Olha1, Author           
Van Eekelen, Marko2, 3, Author
Tamalet, Alejandro4, Author
Affiliations:
1The Language Archive, MPI for Psycholinguistics, Max Planck Society, ou_530892              
2Institute for Computing and Information Sciences (iCIS), Radboud University Nijmegen, Nijmegen, The Netherlands , ou_persistent22              
3Faculty of Management, Science and Technology, Open University of the Netherlands, Heerlen, The Netherlands , ou_persistent22              
4Globant, Rosario, Argentina , ou_persistent22              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2014
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: DOI: 10.1007/978-3-319-12466-7_9
 Degree: -

Event

show
hide
Title: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Place of Event: Bertinoro, Italy
Start-/End Date: 2013-08-29 - 2013-08-31

Legal Case

show

Project information

show

Source 1

show
hide
Title: Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Source Genre: Proceedings
 Creator(s):
Dal Lago, Ugo, Editor
Pena, Ricardo, Editor
Affiliations:
-
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 143 - 159 Identifier: -

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 8552 Sequence Number: - Start / End Page: - Identifier: -