From Termination to Cost (in Object-Oriented Languages

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:
  • Albert Albiol, Elvira
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (664kB) | Preview

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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM