|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 listsThinking Society: What is Life? Martin Centre Research Seminar Series - 40th Annual Series of Lunchtime Lectures
Other talksForbidden submatrices and forbidden subposets From Industry to Academia – How resilient are structural systems to highly transient loading conditions Multiplex Network Approach to the Analysis of (Offline and Online) Social Ties Biobanking 2016 Hierarchical Structuring of Carbon Nanotubes Some technical aspects of building SHIM