Search results

Using abstract interpretation to add type checking for interfaces in Java bytecode verification Semantics of roundoff error propagation in finite precision...

relations and automata A local approach for temporal model checking of Java bytecode A comprehensive study of the complexity of multiparty interaction Title...