Search results

Using abstract interpretation to add type checking for interfaces in Java bytecode verification A sparse evaluation technique for detailed semantic analyses...

multiple inheritance OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler On the bright side of type classes Rings: an efficient JVM library...

Testing and Debugging of SAT and QBF Solvers Scrap your boilerplate with class Combining test case generation and runtime verification Automatic Proof and...