|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 listsThe Postulate "Invariance of the Speed of Light" Clare Hall Thursday Lunchtime Talks Beyond Profit
Other talksRecent results from the T2K experiment “Artificial Intelligence: Disrupting Sustainability” conference featuring Martin Rees, AI startups and facilitators ACAT1/SOAT1 as a therapeutic target for Alzheimer's disease 'Are the dons still a self-governing community of Scholars?' The role of neutrophil-endothelial interactions in modulating lung inflammation Dorota Masłowska: Polish Literary Sensation