|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 listsBiochem Post Masters Consultancies Monday 18th August, 2014 Chi Han Workshop
Other talksSound Studies: Art, Experience, Politics Water-column nutrient fluxes along the continental margin of the Peruvian oxygen minimum zone Erotic Literature: Adaptation and Translation in Europe and Asia Optical Fibres in Oil and Gas; Monitoring at the Speed of Light. Integrable tops, separation of variables and Stasheff polytopes TBC - Emotion Sense & the use of mobile phone data