scientific article; zbMATH DE number 7453197

MaRDI QIDQ5020658zbMATH OpenFDO

Authors John P. Gallagher, Robert Glück

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/2008.02937, http://eptcs.web.cse.unsw.edu.au/paper.cgi?VPTHCVS2020.11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1420812
• Abstract Interpretation with Specialized Definitions
• scientific article; zbMATH DE number 2086518
• On the power of abstract interpretation
• An experiment in program composition and proof
• Specialisation of Prolog and FCP programs using abstract interpretation
• Abstract interpretation with unfoldings
• Experiments with mixed computations
• scientific article; zbMATH DE number 1487857

Cites work

• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• Controlling polyvariance for specialization-based verification
• Transformation by interpreter specialisation

This page was built for publication:

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