In order to increase our ability to use measurement to support software development
practise we need to do more analysis of code. However, empirical studies of code are …

One of the primary challenges in building and evolving large object-oriented systems is
understanding aliasing between objects. Unexpected aliasing can lead to broken invariants …

We investigate proof rules for information hiding, using the recent formalism of separation
logic. In essence, we use the separating conjunction to partition the internal resources of a …

Large amounts of Java software have been written since the language's escape into
unsuspecting software ecology more than ten years ago. Surprisingly little is known about …

We consider a sequential object-oriented language with pointers and mutable state, private
fields and classbased visibility, dynamic binding and inheritance, recursive classes, casts …

External uniqueness is a surprising new way to add unique references to an OOPL. The
idea is that an externally unique reference is the only reference into an aggregate from …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

FIWARE represents a new European Cloud platform that aims to land on the international
ICT market bringing prominent novel advantages for societies. In fact, it provides new …

Since call graphs are an essential starting point for all inter-procedural analyses, many tools
and frameworks have been developed to generate the call graph of a given program. The …

Call graph construction for object-oriented programs is often difficult and expensive. Most
sound and precise algorithms analyze the whole program including all library …