A Formalisation of Java's Exception Mechanism (2000)

Cached

Download Links

by Bart Jacobs
Venue:Programming Languages and Systems (ESOP), number 2028 in Lect. Notes Comp. Sci
Citations:13 - 5 self