Type-based flow analysis and context-free language reachability

DOI10.1017/S0960129508006968MaRDI QIDQ3535677zbMATH OpenOpenAlexFDO

Authors Manuel Fähndrich, Jakob Rehof

Publication date 13 November 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129508006968

zbMATH Keywords

polymorphic subtypinginterprocedural dataflow analysis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type-base flow analysis
• scientific article; zbMATH DE number 1130261
• Interprocedural analysis with lazy propagation
• Context-sensitive data-dependence analysis via linear conjunctive language reachability
• scientific article; zbMATH DE number 1236362

Cites work

• Interconvertibility of a class of set constraints and context-free-language reachability
• Principal type schemes for functional programs with overloading and subtyping

Cited in

(13)

• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Context-sensitive data-dependence analysis via linear conjunctive language reachability
• Type-based information flow analysis for the \(\pi\)-calculus
• Specification inference using context-free language reachability
• Type systems equivalent to data-flow analyses for imperative languages
• scientific article; zbMATH DE number 1130261 (Why is no real title available?)
• Type-base flow analysis
• Interprocedural type propagation for object-oriented languages
• A type-based escape analysis for functional languages
• Existential Label Flow Inference Via CFL Reachability
• scientific article; zbMATH DE number 1738291 (Why is no real title available?)
• Interprocedural analysis with lazy propagation
• Correctness of static flow analysis in continuation semantics

This page was built for publication: Type-based flow analysis and context-free language reachability

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