Nullary constructor

Delphin is a functional programming language [PS08] utilizing dependent higher-order datatypes. Delphin is a two level system… (More)

java.util.Collection ejbSelectBooksBetweenPrices(double pI, double p2) throws FinderException; Note the mandatory use of the ej… (More)

class Container extends class Component with methods to keep track of subcomponents in a component. Class Window extends class… (More)

The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of… (More)

In this paper, we introduce a cache protocol verification technique based on a symbolic state expansion procedure. A global FSM… (More)