Exact flow analysis by higher-order model checking

DOI10.1007/978-3-642-29822-6_22MaRDI QIDQ2900270zbMATH OpenOpenAlexFDO

Authors Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi

Publication date 20 July 2012

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29822-6_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18)

Recommendations

• Exact flow analysis
• Control-flow analysis of functional programs
• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• scientific article; zbMATH DE number 1130261

Cited in

(14)

• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• Exact flow analysis
• scientific article; zbMATH DE number 1953276 (Why is no real title available?)
• Effect-driven flow analysis
• Higher-order program verification via HFL model checking
• Termination analysis and call graph construction for higher-order functional programs
• CFA2: a context-free approach to control-flow analysis
• Model Checking Via ΓCFA
• Deciding kCFA is complete for EXPTIME
• Systematic realisation of control flow analyses for CML
• Logic-flow analysis of higher-order programs
• scientific article; zbMATH DE number 2087548 (Why is no real title available?)
• Correctness of static flow analysis in continuation semantics
• Control-flow analysis of functional programs

Describes a project that uses

Uses Software

• THORS
• TRecS
• EigenCFA

This page was built for publication: Exact flow analysis by higher-order model checking

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