Advanced users often find themselves restricted by the limited facilities of most UML CASE
tools when they want to do complex manipulations of UML models, eg, apply design …

An interactive graphical environment for supporting the development and use of Haskell
applications programs is described. The environment, named Vital, is particularly intended …

This paper describes a document-centered environment for Haskell that is aimed at making
the language accessible to a broad range of end users. In this environment (named Vital) …

In spite of the proliferation of object-oriented design methodologies in contemporary
software development, their application to real-time embedded systems has been limited …

Many new models of computation have emerged over the last years to meet the demands of
modelling new features or new concepts in programming languages. Rarely do we find a …

In this paper we propose to use Interaction Nets as a formalism for Visual Functional
Programming. We consider the use of recursion patterns as a programming idiom, and …

Programming directly with diagrams offers potential advantages such as visual intuitions,
identification of errors (debugging), and insight into the dynamics of the algorithm. The …

We propose a method for encoding iterators (recursion operators) using interaction nets.
The method can be used to obtain a visual notation for functional programs, and also to …

The dichotomy between programs and data projects itself onto two paradigms in software
visualisation: programs are visualised by program animation, and data is visualised by …

We propose a method for encoding iterators (and recursion operators in general) using
interaction nets. There are two main applications for this: the method can be used to obtain a …