Search for items in this repository.
An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
Hermenegildo, Manuel V.
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.
||An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
Presentation at Congress or Conference
||1st International Workshop, Datalog 2.0
||15/03/2010 - 19/03/2010
|Title of Book:
||Proceedings of the 1st International Workshop, Datalog 2.0
||Facultad de Informática (UPM)
|Creative Commons Licenses:
||Recognition - No derivative works - Non commercial
•Next-generation, high-level, multiparadigm programming language: Ciao.
•Program development environments which perform, as part of compilation:
Veriﬁcation / debugging(i.e., detect bugs and offer guarantees of safety, reliability, and efﬁciency.)
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.
Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
Check whether the spanish journal in which you have published an article allows you to also publish it under open access.