|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 listsChurchill Archives Centre SciComp@Cam: Scientific Computing in Cambridge Quantitative History Seminar
Other talksTBA Multilevel sequential Monte Carlo Samplers. Using radar to measure and monitor the rate of melting at the base of ice shelves Risk prediction using common genetic variants Gender, Nationalism and Citizenship in Anti-Authoritarian Protests in Belarus, Russia and Ukraine What do parents say to their children when they have been conceived by embryo donation or double donation treatment?