Giuseppe Milicia

The inheritance anomaly: ten years after

The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent object oriented languages (COOLs). The quirks arising by such combination have been observed since the early eighties, when the first experimental COOLs were designed [3]. In the nineties COOLs turned from research topic to widely used tools in the everyday programming practice, see e.g. the Java [9] experience. This expository paper extends the survey presented in [15] to account for new and widely used COOLs, most notably Java and C# [19]. Specifically, we illustrate some innovative approaches to COOL design relying on the aspect oriented programming paradigm [13] that aim at better, more powerful abstraction for concurrent OOP, and provide means to fight the inheritance anomaly.

Jeeg: temporal constraints for the synchronization of concurrent objects

We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the ‘business’ and the ‘synchronization’ code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic, which allows one to effectively limit the occurrence of the inheritance anomaly that commonly affects concurrent object‐oriented languages. Jeeg is inspired by the current trend in aspect‐oriented languages. In a Jeeg program the sequential and concurrent aspects of object behaviors are decoupled: specified separately by the programmer, these are then weaved together by the Jeeg compiler. Copyright

A framework for the development of protocols

We present the /spl chi/-Spaces framework, a tool designed to support every step of a security protocols life cycle. Its integrated development environment (IDE) eases the task of protocol design, debugging and simulation.

Wireless authentication in /spl chi/-Spaces

The /spl chi/-Spaces framework is a set of tools that support all steps of a protocols life-cycle. The framework implements the simple yet powerful security protocol language (SPL), designed to model security protocols and show their correctness. /spl chi/-Spaces can provide efficient and robust implementations of protocols that are suited for embedding into wireless devices.