73
Voted
ENTCS
2002
15 years 17 days ago
2002
134
Voted
ENTCS
2002
15 years 17 days ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
84
Voted
ENTCS
2002
15 years 17 days ago
2002
We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection bet...
75
Voted
ENTCS
2002
15 years 17 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
91
Voted
ENTCS
2002
15 years 17 days ago
2002
The initial value problem of the Korteweg-de Vries (KdV) equation posted on the real line R: ut + uux + uxxx = 0, x R, t R u(x, 0) = (x), defines a nonlinear map KR from the ...
68
Voted
ENTCS
2002
15 years 17 days ago
2002
110
Voted
ENTCS
2002
15 years 17 days ago
2002
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
92
Voted
ENTCS
2002
15 years 17 days ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
87
Voted
ENTCS
2002
15 years 17 days ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
91
Voted
ENTCS
2002
15 years 17 days ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...