|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 listsTalks related to sustainability and the environment Graduate Workshops in Economic and Social History Linguistics talk on the differences between Latin American and Iberian Spanish
Other talksPeople, pathogens and parks: ecosystem health research in Tanzania The dawn of star formation: a local perspective Gamma Ray Bursts in the Era of Rapid Followup Marie-Jeanne Rossignol: The Atlantic World of Anthony Benezet Stochastic dynamical systems and seasonal climate dynamics 'Designing in' informal interaction in bioscience architecture: design intent and scientists' practices