We present a translation from Fickle, a small object-oriented language allowing objects to change their class at runtime, into Java. The translation i...
Predicate abstraction is the basis of many program verification tools. Until now, the only knownway to overcome the inherent limitation of predicate a...
This article presents SATURN, a general framework for building precise and scalable static error detection systems. SATURN exploits recent advances in...
We propose a novel approach to the view-update problem for tree-structured data: a domain-specific programming language in which all expressions denot...
Modern JVM implementations interleave execution with compilation of “hot” methods to achieve reasonable performance. Since compilation overhead impact...
