Texto completo
|
PDF (Document Portable Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (664kB) | Vista Previa |
From Termination to Cost (in Object-Oriented Languages
Cita
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: |
|
| 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 |
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 |
