—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
This paper provides a new framework for the derivation and estimation of consumption and the equity premium functions. The novelty in our approach is that it does not require the ...