The ART parser generator is one of a new breed of compiler generation tools which provides efficient generalised parsing. This means that language designers have complete freedom to specify syntax in a way that supports downstream processes rather than having to shoehorn their ideas into the constraints imposed by current near-deterministic parser generators like Bison … full description “Eclipse plugin for the ART parser generator (completed)”
Supervisor: Adrian Johnstone
Active: updated 5-MAR-2024 (OSAA035) no expiry
Formal semantics and C (completed)
When we want to know how a programming language construct such as Java exception handling works, we look it up in the language manual or a textbook. This is good enough for most programmers since they can test their understanding by compiling short programs and watching their effects in a debugger. However, compiler developers have … full description “Formal semantics and C (completed)”
Software framework implementation for air quality monitoring system (available)
The project requires the installation and use of commercially developed Python based software packages on a Raspberry Pi 3 board which access commercial sensors to measure air quality. The software has calibration, data acquisition and data storage functions. The hardware platform is based around 4 air contaminants Alphasense sensors mounted on an Alphasense AFE (analogue … full description “Software framework implementation for air quality monitoring system (available)”
Working on computer mediated artwork with the Tate Gallery (completed)
The Tate Gallery owns a set of major artworks which are computer mediated; that is they employ computers to manage interaction with gallery visitors in a variety of often technically challenging ways. We are working with the conservators at the Tate to document these systems and to think about managing their future in the long … full description “Working on computer mediated artwork with the Tate Gallery (completed)”