Reective Constraint Management for Lan- guages on Virtual Platforms
Mark E. Royer, Suad Alagi, Dan Dillon · 2007
exible verication techniques. The XVP (Extended Virtual Platform) implements these features by extending the Java Virtual Machine with the proposed functionalities. Its architecture and applications are described in the paper. One of the goals of the XVP is to provide a virtual platform that supports JML and the programming by contract methodology.