|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 listsWomen in Academia: Skills and Practices School of Physical Sciences Occasional Talks in Biochemistry
Other talksInnovation for Resilience and/or Social Development Imaging and targeting cancer; the multitasking Focal Adhesion Kinase controls cancer cell polarization and immune evasion Three Standing Figures - from stone, to studio, to the open air CGHR Research Group The relevance of relevance and burden of sensitivity : understanding the problems of searching for evidence on complex topics BP, Colombia, Oil & Ethics