scientific article; zbMATH DE number 1538021

MaRDI QIDQ4518876zbMATH OpenFDO

Authors Torben Amtoft, Franklyn Turbak

Publication date 5 February 2001

zbMATH Keywords

faithful translationsfinitary polyvariant flow analyses

Mathematics Subject Classification ID

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

Recommendations

• From polyvariant flow information to intersection and union types
• A calculus with polymorphic and polyvariant flow types
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• scientific article; zbMATH DE number 1629949
• On flow-sensitive security types

Cited in

(7)

• From polyvariant flow information to intersection and union types
• Implementing compositional analysis using intersection types with expansion variables
• A calculus with polymorphic and polyvariant flow types
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Type-base flow analysis
• Type systems equivalent to data-flow analyses for imperative languages

Describes a project that uses

Uses Software

• GHC

This page was built for publication:

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