|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 listsClinical Neuroscience and Mental Health Symposium Physics of Living Matter lectures History and Philosophy of Science long list
Other talksAutophagy in host-pathogen interactions Properties and applications of diamond As if by Magic...... Spectacular Chemistry Demonstration Lecture Inferno XIX, Purgatorio XIX, Paradiso XIX Dr Franck Perez, Institut Curie (Cellular Medicine Series) Title TBC Host: Gillian Griffiths Nausea in New York: The FBI and CIA vs Sartre and Camus