|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 listsWhy Deep Neural Networks Are Promising for Speech Recognition George Batchelor and David Crighton: A Celebration of their Lives and Work British Cactus & Succulent Society (Cambridge Branch)
Other talksHow the brain uses information from face and voice to recognize other people Radio Aspects of the Home Area Network for Smart Metering Visiting African Fellows' Research Showcase (Hughes Hall/Cambridge-Africa Seminar) Question writing Scott Lecture I : Juggling with photons in a box and raising Schrödinger cats of radiation Unconscious Bias