|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 listsCorrelated quantum systems discussion group Security-related talks Film and History Seminar Series: Teaching Modern South Asian History with Film and Oral History
Other talksMixed race: the future of identity politics in Britain ANOVA of balanced multi-factorial designs: between subject designs, and single subject studies What have we learnt about the causes of ADHD? The impact of metabolism on NK cell immune functions Fowling things up for avian flu - transgenic intervention as an approach to combatting influenza infection in livestock. Discovery and allele frequency estimation of somatic twilight zone insertions and deletions