scientific article; zbMATH DE number 1538021
From MaRDI portal
Publication:4518876
zbMath0971.68028MaRDI QIDQ4518876
Torben Amtoft, Franklyn A. Turbak
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ Type systems equivalent to data-flow analyses for imperative languages ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses ⋮ Implementing Compositional Analysis Using Intersection Types With Expansion Variables
Uses Software
This page was built for publication:
