An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization

Hermenegildo, Manuel V. (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:
  • Hermenegildo, Manuel V.
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:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
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 (156kB) | Vista Previa

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: http://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
  • 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