Compiling CSO to CSP
|
Supervisor |
|
|
Suitable for |
Mathematics and Computer Science, Part C
|
Abstract
Not avilable in 2012/13
The aim of this project would be to build a compiler (or compiler plug-in) to translate Scala code written using the CSO library into corresponding CSP models. It would also be useful to develop techniques for automating analysis of various desirable properties, such as freedom from race conditions, and to develop techniques for abstracting some aspects of the CSP models so as to make model checking feasible.
Prerequisites:
The Concurrency, Concurrent Programming and Compilers courses would be prerequisites.