Exact flow analysis

DOI10.1017/S0960129502003857MaRDI QIDQ4405690zbMATH OpenOpenAlexFDO

Authors Christian Mossin

Publication date 23 June 2003

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

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

zbMATH Keywords

simply typed lambda calculustype-based flow analysis

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Exact flow analysis by higher-order model checking
• scientific article; zbMATH DE number 1130261
• Precise interprocedural dataflow analysis with applications to constant propagation
• Flow Analysis, Linearity, and PTIME
• Type-base flow analysis

Cited in

(6)

• Exact flow analysis by higher-order model checking
• Effect-driven flow analysis
• Bidirectional data flow analysis for type inferencing.
• Pregrammars and intersection types
• Flow Analysis, Linearity, and PTIME
• scientific article; zbMATH DE number 2087548 (Why is no real title available?)

This page was built for publication: Exact flow analysis

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