Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
Published in The MIT Press eBooks • Jan 1, 1999
Authors:,,
Manuel V. Hermenegildo
Francisco Bueno
Germán Puebla
Abstract
We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimizat...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!