The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...