Ahead-of-time algebraic compilation for safety-critical Java

James Baxter. Ahead-of-time algebraic compilation for safety-critical Java. PhD thesis, University of York, UK, 2018. [doi]

Abstract

Abstract is missing.