|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 Imaging and Mathematics Type the title of a new list here
Other talksGraphons and Machine Learning: Modeling and Estimation of Sparse Massive Networks - Part I Health Economics @ Cambridge seminar: NICE Technology Appraisal Process and Challenges to Decision Makers Statistical clustering of temporal networks through a dynamic stochastic block model Taking control of flowing dense suspensions: formulation, rheology and shear thickening PSI : a Private data Sharing Interface 2016 Annual Public Policy Lecture: Smart and Inclusive Growth, a New Narrative on Wealth Creation