Verified compilation of a purely functional language to a realistic machine semantics Hrutvik Kanabar. PhD Thesis, University of Kent. 2023 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs Annual Report 2022/2023 Annual Report 2022/2023 VeTSS EDI statement. VeTSS EDI statement.
by