Program development using abstract interpretation (and the Ciao system preprocessor)

DOI10.1007/3-540-44898-5_8MaRDI QIDQ4813396zbMATH OpenFDO

Authors Manuel Hermenegildo, Germán Puebla, F. Bueno, P. López-García

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940127.htm, https://oa.upm.es/14544/

zbMATH Keywords

(Constraint) Logic ProgrammingAbstract InterpretationDebuggingGlobal AnalysisMulti-Paradigm ProgrammingOptimizationParallelizationPartial EvaluationProgram DevelopmentProgram TransformationProgramming EnvironmentsResource ControlVerification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
• Abstract verification and debugging of constraint logic programs
• Abstract Interpretation with Specialized Definitions
• Program debugging and validation using semantic approximations and partial specifications

Cited in

(10)

• Testing your (static analysis) truths
• CiaoPP
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• scientific article; zbMATH DE number 5353276 (Why is no real title available?)
• Abstract Interpretation with Specialized Definitions
• Program debugging and validation using semantic approximations and partial specifications
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Program Development in Computational Logic
• Abstraction-carrying code: a model for mobile code safety

Describes a project that uses

Uses Software

• Ciao

This page was built for publication: Program development using abstract interpretation (and the Ciao system preprocessor)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813396)