6 search results - page 2 / 2 » Solution to the Problem of Zantema on a Persistent Property ... |
POPL
1997
ACM
13 years 10 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...