From Termination to Cost (in Object-Oriented Languages

Albert Albiol, Elvira (2010). From Termination to Cost (in Object-Oriented Languages. En: "11th International Workshop on Termination", 14/06/2010 - 15/06/2010, Edimburgo, UK.

Descripción

Título: From Termination to Cost (in Object-Oriented Languages
Autor/es:
  • Albert Albiol, Elvira
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 11th International Workshop on Termination
Fechas del Evento: 14/06/2010 - 15/06/2010
Lugar del Evento: Edimburgo, UK
Título del Libro: Proceedings of 11th International Workshop on Termination
Fecha: 2010
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (664kB) | Vista Previa

Resumen

Simple Imperative Bytecode Programs: Transform into rule-based form by means of CFG .Abstract interpretation based size analysis. Find ranking functions for each loop

Más información

ID de Registro: 9091
Identificador DC: http://oa.upm.es/9091/
Identificador OAI: oai:oa.upm.es:9091
Depositado por: Memoria Investigacion
Depositado el: 15 Nov 2011 12:27
Ultima Modificación: 20 Abr 2016 17:38
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM