Types from Control Flow Analysis

DOI10.1007/978-3-540-71322-7_14MaRDI QIDQ3593079zbMATH OpenOpenAlexFDO

Authors Flemming Nielson, Hanne Riis Nielson

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1953279
• From polyvariant flow information to intersection and union types
• Control-flow analysis of functional programs
• scientific article; zbMATH DE number 1324833
• Type systems equivalent to data-flow analyses for imperative languages

Cited in

(6)

• Typing local control and state using flow analysis
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)
• Guided Type Debugging
• Logic Programming
• Classification of control of types in programs with complex data types
• From flow logic to static type systems for coordination languages

This page was built for publication: Types from Control Flow Analysis

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