|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 listsDepartment of Earth Sciences seminars Cambridge Hi-tech Cluster and the Creative Industries Microsoft Research Machine Learning and Perception Seminars
Other talksTunnelling Under Cities, Advances in Research and Practice Latent variable models: factor analysis and all that The endocrine organs of Drosophila as new model to study extreme evolutionary divergence and epithelial to mesenchymal transitions during development Athena SWAN Good Practice Workshop Stem cell dynamics during development, homeostasis and cancer TBA