Constraint Handling Rules (CHR) is a high-level rule-based programming language which is increasingly used for general-purpose programming. We introd...

In the design phase of software development, the designer must make many fundamental design decisions concerning the architecture of the system. Inco...

This article explains how to construct a ranking function for any program that is proved terminating by size-change analysis. The ?gprinciple of siz...

We investigate proof rules for information hiding, using the formalism of separation logic. In essence, we use the separating conjunction to partitio...

Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this, and they are designin...