We review the existing literature on Java safety, emphasizing formal approaches, and the
impact of Java safety on small footprint devices such as smartcards. The conclusion is that …

A system and methods for the dynamic generation of playlists to a user are provided. In
connection with a system that convergently merges perceptual and digital signal processing …

(57) ABSTRACT A System and methods for matching media entities to asSociate closely
related media entities are provided. In connection with a System that convergently merges …

Fast analysis response times in IDEs are essential for a good editor experience. Incremental
type-checking can provide that in a scalable fashion. However, existing techniques are not …

A system and methods for the creation, management, and distribution of media entity
fingerprinting are provided. In connection with a system that convergently merges perceptual …

MultiJava is a conservative extension of the Java programming language that adds
symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch …

We present CMS, a simple and powerful calculus of modules supporting mutual recursion
and higher order features, which can be instantiated over an arbitrary core calculus …

A system and methods for the creation, management, and distribution of media entity
fingerprinting are provided. In connection with a system that convergently merges perceptual …

In this paper we present Jam, an extension of the Java language supporting mixins, that is,
parametric heir classes. A mixin declaration in Jam is similar to a Java heir class declaration …

Predicate dispatch is an object-oriented (OO) language mechanism for determining the
method implementation to be invoked upon a message send. With predicate dispatch, each …