6 search results - page 1 / 2 » sas 1997 |
SAS
1997
Springer
13 years 9 months ago
1997
Springer
SAS
1997
Springer
13 years 9 months ago
1997
Springer
SAS
1997
Springer
13 years 9 months ago
1997
Springer
CMG
1997
13 years 6 months ago
1997
SAS® offers the option of using hiperspaces as the standard WORK file under MVS/ESA® as a performance enhancement. This paper introduces hiperspaces under MVS, and the applicabl...
SAS
1997
Springer
13 years 9 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...