6 search results - page 1 / 2 » sas 1997 |
SAS
1997
Springer
13 years 10 months ago
1997
Springer
SAS
1997
Springer
13 years 10 months ago
1997
Springer
SAS
1997
Springer
13 years 10 months ago
1997
Springer
CMG
1997
13 years 7 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 10 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 ...