|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Work in progress: a prototype refactoring tool based on a mechanically-verified core
If you have a question about this talk, please contact William Denman.
This is a brief experience report on implementing a tiny refactoring tool around a verified core which has been generated using a theorem prover.
This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsType the title of a new list here srg Synthetic Chemistry Research Interest Group
Other talksHill Arches and other works by Henry Moore at the Fitz Constraining the distribution of AGN accretion rates across the galaxy population The Nidovirus Connection: from Arteriviruses to MERS-coronavirus, and back Understanding and manipulating the T-cell response to peptide-MHC The future of fMRI in cognitive neuroscience Noncytotoxic immune control of cytomegalovirus by killer cell proteases