Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (664kB) | Preview |
From Termination to Cost (in Object-Oriented Languages
Citation
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.
Description
| 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 |
Abstract
Simple Imperative Bytecode Programs: Transform into rule-based form by means of CFG .Abstract interpretation based size analysis. Find ranking functions for each loop
More information
| 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 |
