|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 listsC.U. Geographical Society The National Trust for Scotland CISA
Other talksOxidative stress, ROS and free radicals - using nitroxide antioxidants for detection and protection Prof Robyn Slattery: The Songlines between Scientific and Social Silos: A nomadic approach to Immunology teaching, learning and research Heat Rises: 100 Years of Rayleigh-Bénard Convection (Rouse Ball Lecture) Wild Immunology How ice sheets collapse: a lesson from the past The persistence of large-scale compositional heterogeneity in the Earth’s mantle