Transforming Abstract Interpretations by Abstract Interpretation

DOI10.1007/978-3-540-69166-2_1MaRDI QIDQ3522058zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Roberto Giacobazzi, Isabella Mastroeni

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Transforming semantics by abstract interpretation
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Abstract non-interference
• Abstract interpretation of database query languages
• Making abstract models complete

Cites work

• Abstract non-interference
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 3792232 (Why is no real title available?)
• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 1953028 (Why is no real title available?)
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• scientific article; zbMATH DE number 3323877 (Why is no real title available?)
• Making abstract domains condensing
• Making abstract interpretations complete
• Optimal domains for disjunctive abstract interpretation
• Programming Languages and Systems
• Refining and compressing abstract domains
• Systematic design of program transformation frameworks by abstract interpretation
• The closure operators of a lattice
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• What you lose is what you leak: information leakage in declassification policies

Cited in

(6)

• Completeness of string analysis for dynamic languages
• Correctness kernels of abstract interpretations
• Semantics-based software watermarking by abstract interpretation
• scientific article; zbMATH DE number 1832229 (Why is no real title available?)
• Transforming semantics by abstract interpretation
• Making abstract models complete

This page was built for publication: Transforming Abstract Interpretations by Abstract Interpretation

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