Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (156kB) | Preview |
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
Citation
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: |
|
| 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 |
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: | https://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 |
