Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (664kB) | Preview |
Albert Albiol, Elvira (2010). From Termination to Cost (in Object-Oriented Languages. In: "11th International Workshop on Termination", 14/06/2010 - 15/06/2010, Edimburgo, UK.
Title: | From Termination to Cost (in Object-Oriented Languages |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | 11th International Workshop on Termination |
Event Dates: | 14/06/2010 - 15/06/2010 |
Event Location: | Edimburgo, UK |
Title of Book: | Proceedings of 11th International Workshop on Termination |
Date: | 2010 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Otro |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (664kB) | Preview |
Simple Imperative Bytecode Programs: Transform into rule-based form by means of CFG .Abstract interpretation based size analysis. Find ranking functions for each loop
Item ID: | 9091 |
---|---|
DC Identifier: | http://oa.upm.es/9091/ |
OAI Identifier: | oai:oa.upm.es:9091 |
Deposited by: | Memoria Investigacion |
Deposited on: | 15 Nov 2011 12:27 |
Last Modified: | 20 Apr 2016 17:38 |