Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (156kB) | Vista Previa |
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
Cita
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(2010).
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization.
En: "1st International Workshop, Datalog 2.0", 15/03/2010 - 19/03/2010, Oxford, UK. ISBN 978-3-642-24205-2.
ORCID: https://orcid.org/0000-0002-7583-323X
(2010).
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization.
En: "1st International Workshop, Datalog 2.0", 15/03/2010 - 19/03/2010, Oxford, UK. ISBN 978-3-642-24205-2.
Descripción
| Título: | An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 1st International Workshop, Datalog 2.0 |
| Fechas del Evento: | 15/03/2010 - 19/03/2010 |
| Lugar del Evento: | Oxford, UK |
| Título del Libro: | Proceedings of the 1st International Workshop, Datalog 2.0 |
| Fecha: | Diciembre 2010 |
| ISBN: | 978-3-642-24205-2 |
| Volumen: | 6702 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
-Objectives:
•Next-generation, high-level, multiparadigm programming language: Ciao.
•Program development environments which perform, as part of compilation:
Verification / debugging(i.e., detect bugs and offer guarantees of safety, reliability, and efficiency.)
Optimization (optimized compilation, parallelization, ...)Using throughout techniques that are at the same time rigorous and practical.
•Apply in a real system, with users –reality check!
•Support also mainstream languages (e.g., Java / Java bytecode).
- Several uses of Datalog and related techniques.
Más información
| ID de Registro: | 9078 |
|---|---|
| Identificador DC: | https://oa.upm.es/9078/ |
| Identificador OAI: | oai:oa.upm.es:9078 |
| URL Oficial: | http://datalog20.org/ |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 11 Oct 2011 08:34 |
| Ultima Modificación: | 20 Abr 2016 17:38 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
