Living with a Legacy
Taming the Java Interface
One should first read this section of the Wagner-Tribble "
A Security Analysis of the Combex DarpaBrowser Architecure
A Theory of Taming
explains our current approach, in light of the above humbling experience.
is a guide to the taming annotations shown on the
of our API, which includes annotated javadoc of the tamed portions of the Java and
to be explained...
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.