Partial parsing: combining choice with commitment (2009)
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, until now, been...
Meshing with Grids: Toward functional abstractions for grid-based visualization (2008)
Rita Borgo, David Duke, Malcolm Wallace, Colin Runciman
A challenge for grid computing is finding abstractions that separate concerns about what a grid application must achieve from the specific resources on which it might be deployed. One approach, taken...
Partial parsing: combining choice with commitment (2008)
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, until now, been...
THE LOADS AND DAMAGE DETECTION TECHNIQUES OF A FLEET AND USAGE MANAGEMENT SYSTEM (FUMS™) (2008)
Hesham Azzam, Jonathan Cook, Malcolm Wallace, Andrew Smith, Peter Foote, Jim Mcfeat
Working closely with the UK Ministry of Defence (MOD), Smiths has developed a Fleet and Usage Management System (FUMS™) to enable proactive fleet management and continuous diagnostic and prognostic...
Publication in the Proceedings of Vision, Modeling, and (2008)
Author(s) Rita Borgo, David Duke, Malcolm Wallace, Edited T. Aach, C. Bischof, L. Kobbelt, ...
Copyright to the above work (including without limitation, the right to publish the work in whole or in part in any and all forms of media, now or hereafter known) is owned by the editors of Vision,...
Platform Abstract Models for High-Integrity (2008)
Richard Paige, Alek Radjenovic, Malcolm Wallace, John Mcdermid
Ongoing work on the architecture-driven development of high-integrity realtime systems, and its relationship to the MDA initiative, is outlined. It is posited that separation between...
ABSTRACT An Information Model for High-Integrity Real Time Systems (2007)
Alek Radjenovic, Richard Paige, Malcolm Wallace
We propose an information model that captures information suitable for architectural modelling in high integrity real time systems. We also suggest an overall context for architectural modelling and...
Olaf Chitil, Colin Runciman, Malcolm Wallace
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a number of moderately...
Olaf Chitil, Colin Runciman, Malcolm Wallace
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a number of moderately...
Haskell Communities and Activities Report (2007)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Carlos Areces, ...
You are reading the twelfth edition of the Haskell Communities and Activities Report – as always, containing entries from enthusiastic Haskellers all over the world. This edition has 138 entries,...
Borgo, Rita, Duke, David, Wallace, Malcolm, Runciman, Colin
The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large...
Borgo, Rita, Duke, David, Wallace, Malcolm, Runciman, Colin
The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large...
Borgo, Rita, Duke, David, Wallace, Malcolm, Runciman, Colin
The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large...
Fine-grained visualization pipelines and lazy functional languages (2006)
Author(s) David Duke, David Duke, Malcolm Wallace, Malcolm Wallace, Rita Borgo, Rita Borgo, ...
"This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
Welcome to the eleventh edition of the Haskell Communities and Activities Report – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
Fine-grained visualization pipelines and lazy functional languages (2006)
David Duke, Malcolm Wallace, Rita Borgo, Colin Runciman
Abstract—The pipeline model in visualization has evolved from a conceptual model of data processing into a widely used architecture for implementing visualization systems. In the process, a number...
Haskell Communities and Activities Report (2006)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Dmitry Astapov, ...
This is the tenth edition of the Haskell Communities and Activities Report (HCAR) – a collection of entries about everything that is going on and related to Haskell in some way that appears twice a...
Modular architectural representation and analysis of fault propagation and transformation (2005)
This paper describes a modular representation and compositional analysis of a system’s hardware and software components, called Fault Propagation and Transformation Calculus (FPTC). We show how,...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, Alistair Bayley, ...
Finally, here is the 9th edition of the Haskell Communities and Activities Report (HCAR), almost three weeks after the submission deadline. This delay is entirely my own fault. In fact, I have to...
Haskell Communities and Activities Report (2005)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Tiago Miguel, Laureano Alves, Krasimir Angelov, ...
You are reading the 8th edition of the Haskell Communities and Activities Report (HCAR). These are interesting times to be a Haskell enthusiast. Everyone seems to be talking about darcs ( → 6.3)...
Haskell Communities and Activities Report (2004)
Andres Löh (ed, Perry Alexander, Lloyd Allison, Krasimir Angelov, Alistair Bayley, Jérémy Bobbio, ...
Welcome to the Seventh edition of the Haskell Communities and Activities report. I can proudly announce that the report has survived yet another change of editor, and chances are good that this...
Testing and tracing lazy functional programs using Quickcheck and Hat (2003)
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
Transforming Haskell for Tracing (2003)
Olaf Chitil Colin, Colin Runciman, Malcolm Wallace
Hat is a programmer's tool for generating a trace of a computation of a Haskell 98 program and viewing such a trace in various di#erent ways. Applications include program comprehension and...
Transforming haskell for tracing (2003)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Tracing with Hat A tracer gives the programmer access to otherwise invisible information about a computation. It is a tool for understanding how a program works and for locating errors in a program....
Multiple-View Tracing for Haskell: a New Hat (2001)
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman
Di#erent tracing systems for Haskell give di#erent views of a program at work. In practice, several views are complementary and can productively be used together. Until now each system has generated...
Multiple-View Tracing for Haskell: a New Hat (2001)
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman
Di#erent tracing systems for Haskell give di#erent views of a program at work. In practice, several views are complementary and can productively be used together. Until now each system has generated...
Multiple-view tracing for Haskell: a new hat (2001)
Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman
Different tracing systems for Haskell give different views of a program at work. In practice, several views are complementary and can productively be used together. Until now each system has...
Tracing and Debugging of Lazy Functional Programs | A Comparative Evaluation of Three Systems (2000)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex Trail System and Hood. We identify the similarities and differences of these systems and...
Tracing and Debugging of Lazy Functional Programs | A Comparative Evaluation of Three Systems (2000)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex Trail System and Hood. We identify the similarities and dierences of these systems and we...
Haskell and XML: Generic Combinators or Type-Based Translation? (1999)
Malcolm Wallace, Colin Runciman
We present two complementary approaches to writing XML document-processing applications in a functional language. In the first approach, the generic tree structure of XML documents is used as the...
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (1998)
Malcolm Wallace, Colin Runciman
For the programmer, storage media are usually assumed to have a minimum atomic unit of transfer of one byte. However, sometimes it is useful to have an even finer storage granularity of one bit, for...
Heap Compression and Binary I/O in Haskell (1997)
Malcolm Wallace, Colin Runciman
Two new facilities for Haskell are described: compression of data values in memory, and a new scheme for binary I/O. These facilities, although they can be used individually, can also be combined...
Heap Compression and Binary I/O in Haskell (1997)
Malcolm Wallace, Colin Runciman
Two new facilities for Haskell are described: compression of data values in memory, and a new scheme for binary I/O. These facilities, although they can be used individually, can also be combined...
Functional programming and embedded systems. (1995)
Thesis (Ph. D.)--University of York, 1995.
Extending a Functional Programming System for Embedded Applications (1995)
Malcolm Wallace, Colin Runciman
Functional languages do not usually mesh well with embedded applications because of the need for special I/O device-handling. By introducing a process model to a language, however, it becomes...
Extending a Functional Programming System for Embedded Applications (1995)
Malcolm Wallace, Colin Runciman, Yo Dd
Data Types. New combinators to glue I/O actions together will be developed. Timing primitives and/or higher-order operators to express the common ideas of periodicity, delays, deadlines, timeouts and...
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture (1995)
Malcolm Wallace, Colin Runciman
Embedded computer systems seem to be the antithesis of functional language systems. Embedded systems are small, stand-alone, and are often forced to accept inelegant design compromises due to...
Type-Checked Message-Passing Between Functional Processes (1994)
Malcolm Wallace, Colin Runciman
This paper describes the use of constructor classes [Jones93] to improve the static type-checking model, with applications to Embedded Gofer [Wallace&Runciman94]. Keywords:
Type-Checked Message-Passing between Functional Processes (1994)
Malcolm Wallace, Colin Runciman
Karlsson introduced the notion of communicating functional processes. It relied on a non-deterministic function, used within the functional program, to implement message-passing between processes....