Type-base flow analysis

DOI10.1145/360204.360208MaRDI QIDQ5178873zbMATH OpenOpenAlexFDO

Authors Jakob Rehof, Manuel Fähndrich

Publication date 17 March 2015

Published in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Type-based flow analysis and context-free language reachability
• scientific article; zbMATH DE number 1629949
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Substructural Type Systems for Program Analysis
• Type-based information flow analysis for the \(\pi\)-calculus
• A modular, polyvariant and type-based closure analysis
• scientific article; zbMATH DE number 1114034
• A sequent calculus for subtyping polymorphic types
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1538021

Cited in

(11)

• Exact flow analysis
• Type-based information flow analysis for the \(\pi\)-calculus
• scientific article; zbMATH DE number 1629949 (Why is no real title available?)
• Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
• Type-based flow analysis and context-free language reachability
• scientific article; zbMATH DE number 1130261 (Why is no real title available?)
• Effect-polymorphic behaviour inference for deadlock checking
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• A type-based escape analysis for functional languages
• scientific article; zbMATH DE number 1738291 (Why is no real title available?)
• Polymorphic Fractional Capabilities

This page was built for publication: Type-base flow analysis

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