Self-stabilization is an elegant approach for designing fault tolerant systems. A system is considered self-stabilizing if, starting in any state, it...

An extension of the ë-calculus is proposed, to study resource usage analysis and verification. It features usage policies with a possibly nested, loc...

A dependence cluster is a set of program statements, all of which are mutually inter-dependent. This article reports a large scale empirical study of...

Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established t...

Recent work on adaptive functional programming (AFP) developed techniques for writing programs that can respond to modifications to their data by per...