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 Omega-Regular Reward Machines. Omega-Regular Reward Machines. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs
by