Polyvariant flow analysis with constrained types

DOI10.1007/3-540-46425-5_25MaRDI QIDQ2729061zbMATH OpenFDO

Authors Scott F. Smith, Tiejun Wang

Publication date 6 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46425-5_25

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• From polyvariant flow information to intersection and union types
• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Type-base flow analysis
• Abstract allocation as a unified approach to polyvariance in control-flow analyses

Cited in

(12)

• Flow-sensitive type systems and the ambient calculus
• Type inference for variant object types
• From polyvariant flow information to intersection and union types
• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• Quantitative Information Flow, Relations and Polymorphic Types
• scientific article; zbMATH DE number 4014021 (Why is no real title available?)
• scientific article; zbMATH DE number 1130261 (Why is no real title available?)
• Faithful translations between polyvariant flows and polymorphic types
• A calculus with polymorphic and polyvariant flow types
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Type-base flow analysis
• Programming Languages and Systems

This page was built for publication: Polyvariant flow analysis with constrained types

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