<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Program analysis, debugging and optimization using the ciao system preprocessor"^^ . "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 optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate \"hands-on\" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects."^^ . "1999-11" . . . "MIT Press"^^ . . "MIT Press"^^ . . . . . . . . . . . . . . . . . "Manuel V."^^ . "Hermenegildo"^^ . "Manuel V. Hermenegildo"^^ . . "Francisco"^^ . "Bueno Carrillo"^^ . "Francisco Bueno Carrillo"^^ . . "Alvaro Germán"^^ . "Puebla Sánchez"^^ . "Alvaro Germán Puebla Sánchez"^^ . . "Pedro"^^ . "López García"^^ . "Pedro López García"^^ . . . . "The 1999 international conference on Logic programming"^^ . . . . . "Las Cruces, New Mexico, USA"^^ . . . . . . "Program analysis, debugging and optimization using the ciao system preprocessor (PDF)"^^ . . . "HERMENE_IPT_1999-1.pdf"^^ . . . "Program analysis, debugging and optimization using the ciao system preprocessor (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Program analysis, debugging and optimization using the ciao system preprocessor (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Program analysis, debugging and optimization using the ciao system preprocessor (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Program analysis, debugging and optimization using the ciao system preprocessor (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Program analysis, debugging and optimization using the ciao system preprocessor (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #14553 \n\nProgram analysis, debugging and optimization using the ciao system preprocessor\n\n" . "text/html" . . . "Informática"@es . "Computer Science"@en . .