Ahead-of-time algebraic compilation for safety-critical Java (2018)

First Author: Baxter James
Attributed to:  High-integrity Java Applications using Circus funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://etheses.whiterose.ac.uk/22698/

Type: Thesis