|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 listsLinguistics Occasional Talks and Seminars Social Anthropology Research Associate Seminar Series Cambridge Countercultural Studies Research Group
Other talksOf Knots and Blocks: Dwelling in Smooth Space Cliffs and screes The Global Transformation The Politics of Land Supply and Affordable Housing: Auckland’s Housing Accord and Special Housing Areas How Stressed Can Stabled Horses Be? The Development of a Behaviour Stress Scale to Assess the Welfare of Stabled Horses Multilingual socialization: Negotiating multiple languages, identities, ideologies, and practices