Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-18T22:43:05.553Z Has data issue: false hasContentIssue false
  • English
  • Français

Modular control-flow analysis with rank 2 intersection types

Published online by Cambridge University Press:  06 March 2003

ANINDYA BANERJEE  and
THOMAS JENSEN
ANINDYA BANERJEE
Affiliation:
Department of Computing and Information Sciences, Kansas State University, Manhattan KS 66506, U.S.A. Email: ab@cis.ksu.edu
THOMAS JENSEN
Affiliation:
IRISA/CNRS, Campus de Beaulieu, F-35042 Rennes, France Email: jensen@irisa.fr
Get access Rights & Permissions [Opens in a new window]

Abstract

We show how the principal typing property of the rank 2 intersection type system enables the specification of a modular and polyvariant control-flow analysis.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 1 , February 2003 , pp. 87 - 124
Copyright
© 2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)