Mark Utting

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying Whiley programs with Boogie Journal of Automated Reasoning	2022-12-12	Paper
A formal semantics of the GraalVM intermediate representation (available as arXiv preprint)	2022-06-22	Paper
Automatic proofs of memory deallocation for a Whiley-to-C compiler Formal Methods in System Design	2021-12-08	Paper
Transformation rules for Z Chicago Journal of Theoretical Computer Science	2014-05-06	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2090128 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080007 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013590 (Why is no real title available?)	2003-12-04	Paper
A sequential real-time refinement calculus Acta Informatica	2001-04-17	Paper
scientific article; zbMATH DE number 1104387 (Why is no real title available?)	1998-01-14	Paper

Research outcomes over time

This page was built for person: Mark Utting