Type-based parametric analysis of program families

DOI10.1145/2628136.2628155MaRDI QIDQ2819663zbMATH OpenOpenAlexFDO

Authors Sheng Chen, Martin Erwig

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628155

zbMATH Keywords

choice calculusconstraint-based type systemprogram familiesstatic-analysis liftingvariational types

Mathematics Subject Classification ID

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

Recommendations

• A decision tree lifted domain for analyzing program families with numerical features
• Finding suitable variability abstractions for lifted analysis
• Finding suitable variability abstractions for family-based analysis
• Types in program analysis
• Using program synthesis for program analysis

Cited in

(5)

• A type-based complexity analysis of object oriented programs
• A decision tree lifted domain for analyzing program families with numerical features
• Finding suitable variability abstractions for family-based analysis
• Finding suitable variability abstractions for lifted analysis
• Types in program analysis

This page was built for publication: Type-based parametric analysis of program families

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