[ Bristol CS | Index ]
Functional Programming Research
The Brisk project is concerned with increasing the expressive power of
functional languages so that they can be used to implement complex and reactive
`systems' programs more easily. Our current aim is to develop a Haskell
compiler which provides a deterministic form of concurrency, a modular approach
to linking Haskell with C, dynamic linking and some other features which
increase expressiveness without losing any of the mathematical purity of the
language. The Brisk compiler is nearing its first serious release. We then
want to investigate its applications; we have designs, and in some cases
prototypes, for an X window interface, a development environment, a process
manager, and a distributed programming environment.
A second strand of research is to improve support for program debugging and
proof. One problem is to work out how to make best use of the purely
declarative nature of functional languages. A style of logic needs to be
developed which takes maximum advantage of the potential simplicity of using
denotational semantics alone, without resorting to operational semantics, and
which provides support for purely declarative debugging and proof. This logic
then needs to be packaged in a practical system which is attractive to working
programmers. The Brisk compiler may also provide a platform on which to base
Staff and Research students
Ian Holyer email@example.com
Neil Davies firstname.lastname@example.org
Chris Dornan email@example.com (PhD)
Alastair Penney firstname.lastname@example.org (PhD)
Eleni Spiliopoulou email@example.com (PhD)
Pascal Serrarens firstname.lastname@example.org (ex MSc)
Dave Carter email@example.com (ex MSc)
Gareth Powell firstname.lastname@example.org (ex PhD)
current interest to the group are collected together (group access only).
H Pehlivan, I Holyer.
An Undo Mechanism for Shells.
Concurrent Monadic Interfacing.
IFL '98: draft proceedings of the 10th International Workshop on Implementation
of Functional Languages (accepted for selected papers to go in LNCS)(not yet
public; please email a request for a copy).
Distribution in a Demand Driven Style.
The 1st International Workshop on Component-based software
development in Computational Logic (submitted for selected papers to go in JFLP).
E Spiliopoulou. August 1998.
The Brisk Machine: A Simplified STG Machine
IFL'97: proceedings of the 9th
International Workshop on Implementation of Functional Languages, St Andrews,
Scotland: selected papers, Springer Verlag, LNCS 1467, pp 24-42, ISBN 3-540-64849-6
and C Dornan.
The Brisk Project:
Concurrent and Distributed Functional Systems.
Proceedings of the workshop "Functional Programming, Glasgow 1995",
Springer Verlag, Workshops in Computing.
I Holyer and D Carter.
Proceedings of "Functional Programming, Glasgow
1993", Springer Verlag, Workshops in COmputing.
Deterministic Concurrency. MSc thesis, Computer Science
Department, Bristol. June 1994.
BriX - A Deterministic Concurrent Functional X Windows System.
Some items which might be made available in due course are:
0.08 is available. This is a preliminary release, illustrating
concurrency and (output-only) X Window System graphics programming. It lacks
Haskell classes, has incomplete libraries, and has unwieldy conventions for
installation and use. Please get in touch if you want to experiment with it.
Work in Progress
The Brisk Kernel Language
Graph Structures: A monolithic implementation.
Dr. Ian Holyer,
email@example.com. Last modified on Thursday 7 January 1999 at 16:10. © 1999 University of Bristol