Verifying a compiler for Java threads
FREE-DOWNLOADA Lochbihler – Programming Languages and Systems, 2010 Abstract. A verified compiler is an integral part of every security infra- structure. Previous work has come up with formal semantics for sequen- tial and concurrent variants of Java and has proven the correctness of compilers for the sequential part. This paper presents a rigorous Communicating java threads […]
type graph model for java programs
FREE-DOWNLOAD A Rensink… – Formal Techniques for Distributed Systems, 2009 – Abstract. In this work we present a type graph that models all exe- cutable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a […]
Correct refactoring of concurrent java code
FREE-DOWNLOAD M Schäfer, J Dolby, M Sridharan, E Torlak… – ECOOP 2010–Object- …, 2010 Abstract. Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refac- tored programs may exhibit unexpected new concurrent behaviors. We an- alyze the types of such behavioral changes caused by current