Strictness Analysis in 4D

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 23-43
https://doi.org/10.1007/978-1-4471-3810-5_3

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

A relationship between abstract interpretation and projection analysis
Published by Association for Computing Machinery (ACM) ,1990