CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
TIDE: (a) generic debugging framework Book Chapter
M.G.J. van den Brand (Mark), B. Cornelissen, P.A. Olivier (Pieter) and J.J. Vinju (Jurgen)
January 2005 -
A state space distribution policy based on abstract interpretation In Proceedings
S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.V. Espada
January 2005
-
January 2005
-
AJHotDraw. SourceForge. Aspect-oriented re-implementation of JHotDraw Manual
A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)
January 2005
-
FINT. Eclipse plugin offering aspect-mining capabilities by means of fan-in analysis Manual
A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)
January 2005 -
January 2005
-
January 2005
-
CCS with Hennessy's merge has no finite-equational axiomatization Article
Chicago Journal of Theoretical Computer Science, 330(3), 377-405.L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
January 2005