6 search results - page 2 / 2 » Mona: Monadic Second-Order Logic in Practice |
POPL
1993
ACM
13 years 11 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...