Converting One Type-Based Abstract Domain to Another

DOI10.1007/11680093_10MaRDI QIDQ5302885zbMATH OpenOpenAlexFDO

Authors John P. Gallagher, Germán Puebla, Elvira Albert

Publication date 15 January 2009

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://rucforsk.ruc.dk/ws/files/264537/camera-ready.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 1615253
• scientific article; zbMATH DE number 1538024
• Making abstract domains condensing
• Evaluation of the domain prop

Cited in

(1)

• Logic Programming

Describes a project that uses

Uses Software

• ASTREE
• CiaoPP

This page was built for publication: Converting One Type-Based Abstract Domain to Another

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