31 search results - page 7 / 7 » Static Type Analysis of Pattern Matching by Abstract Interpr... |
CORR
2002
Springer
13 years 5 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...