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. In: "1st International Workshop, Datalog 2.0", 15/03/2010 - 19/03/2010, Oxford, UK. ISBN 978-3-642-24205-2.

Description

Title: An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
Author/s:
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1st International Workshop, Datalog 2.0
Event Dates: 15/03/2010 - 19/03/2010
Event Location: Oxford, UK
Title of Book: Proceedings of the 1st International Workshop, Datalog 2.0
Date: December 2010
ISBN: 978-3-642-24205-2
Volume: 6702
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
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 (156kB) | Preview

Abstract

-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.

More information

Item ID: 9078
DC Identifier: http://oa.upm.es/9078/
OAI Identifier: oai:oa.upm.es:9078
Official URL: http://datalog20.org/
Deposited by: Memoria Investigacion
Deposited on: 11 Oct 2011 08:34
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