A generic framework for context-sensitive analysis of modular programs

DOI10.1007/978-3-540-25951-0_8MaRDI QIDQ5712549zbMATH OpenOpenAlexFDO

Authors Germán Puebla, Jesús Correas, Manuel Hermenegildo, F. Bueno, Maria Garcia De La Banda, Kim Marriott, Peter J. Stuckey

Publication date 23 December 2005

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

Full work available at URL https://doi.org/10.1007/b98187

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Incremental and modular context-sensitive analysis
• scientific article; zbMATH DE number 1497828
• Modular static program analysis
• Program development using abstract interpretation (and the Ciao system preprocessor)
• Context-sensitive analysis without calling-context

Cited in

(10)

• Context generation from formal specifications for C analysis tools
• A set-based context model for program analysis
• A framework for memory efficient context-sensitive program analysis
• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• scientific article; zbMATH DE number 3845084 (Why is no real title available?)
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• Incremental and modular context-sensitive analysis
• Context-Sensitive Multivariant Assertion Checking in Modular Programs
• Context-sensitive analysis without calling-context
• Abstraction-carrying code: a model for mobile code safety

Describes a project that uses

Uses Software

• Ciao
• CiaoPP

This page was built for publication: A generic framework for context-sensitive analysis of modular programs

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