Inheritance is well-known and accepted as a mechanism for reuse in object-oriented
languages. Unfortunately, due to the coarse granularity of inheritance, it may be difficult to …

A class extension is a method that is defined in a module, but whose class is defined
elsewhere. Class extensions offer a convenient way to incrementally modify existing classes …

We present an overview of JTL (the Java Tools Language, pronounced" Gee-tel"), a novel
language for querying JAVA [8] programs. JTL was designed to serve the development of …

In this paper, I examine some of reasons that “readonly” style qualifiers have been proposed
for Java, and also the principles behind the rules for these new qualifiers. I find that there is a …

Encapsulation in object-oriented languages has traditionally been based on static type
systems. As a consequence, dynamically-typed languages have only limited support for …

Supporting read-only and side effect free execution has been the focus of a large body of
work in the area of statically typed programming languages. Read-onlyness in dynamically …

This paper presents Classages, a novel interaction-centric object-oriented language.
Classes and objects in Classages are fully encapsulated, with explicit interfaces for all …

Mobile device software applications play an ever increasing role in the interaction with
ubiquitous computing environments. To grow the acceptance of the mobile product-lines …

Current programming languages are still underdeveloped for the con struction of well-
structured concurrent software systems. They typically impose many unnecessary and …

In object-oriented languages, method visibility modifiers hold a key role in separating
internal methods from the public API. Protected visibility modifiers offer a way to hide …