|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 listsCERF Histories of Education and Childhood Sir David King's Surface Science Seminars
Other talksMeasuring Ethnicity in the NHS New opportunities and challenges for electron microscopy Cell Culture 2016 Functional genomics for schistosomes: approaches to interrogate host-parasite interaction, and schistosomiasis-associated diseases. Behavioral flexibility is not predicted by innovation or brain size in great-tailed grackles, New Caledonian crows, and Western scrub jays Convex Factorization Machines