Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (156kB) | Preview |
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.
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 |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (156kB) | Preview |
-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.
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 |