|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 listsCRASSH Humanitas Lectures Signal Processing and Communications Lab Seminars Cambridge Sequencing Bioinformatics Day 2012
Other talksSyringomyelia in Cavalier King Charles Spaniels Computational Neuroscience for Technology: Event-based Vision Sensors and Information Processing Carbon-dioxide motion and reaction in subsurface aquifers The 2015 Controlling Cancer Summit Illuminating the microanatomical positioning and function of dendritic cells in vivo Opting Out of the European Union: Diplomacy, Sovereignty and European Integration