We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...
Pablo Romero, Benedict du Boulay, Rudi Lutz, Richa...