Types from Control Flow Analysis

DOI10.1007/978-3-540-71322-7_14zbMath1149.68360OpenAlexW2492745848MaRDI QIDQ3593079

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)

Related Items (1)

From flow logic to static type systems for coordination languages

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