Sciweavers

15644 search results - page 27 / 3129
» Brittle System Analysis
Sort
View
CC
2002
Springer
14 years 9 months ago
A Representation for Bit Section Based Analysis and Optimization
Rajiv Gupta, Eduard Mehofer, Youtao Zhang
POPL
1995
ACM
15 years 1 months ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe