Widening for Control-Flow

DOI10.1007/978-3-642-54013-4_26MaRDI QIDQ2938087zbMATH OpenOpenAlexFDO

Authors Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap

Publication date 13 January 2015

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

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_26

Mathematics Subject Classification ID

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

Recommendations

• Enlarging Instruction Streams
• Widening and narrowing operators for abstract interpretation
• Widening with Thresholds for Programs with Complex Control Graphs
• scientific article; zbMATH DE number 2013600
• A minimalistic look at widening operators
• scientific article; zbMATH DE number 1049043
• Compiler Construction

Cited in

(4)

• Widening with Thresholds for Programs with Complex Control Graphs
• Guided Static Analysis
• Parametric and Termination-Sensitive Control Dependence
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs

This page was built for publication: Widening for Control-Flow

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