![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Thursday 02 December 2010, 16:00-17:00
QuickSpec -- Guessing Formal Specifications using Testing
- 👤 Speaker: Koen Claessen (Chalmers/Visiting at MSR)
- 📅 Date & Time: Thursday 02 December 2010, 16:00 - 17:00
- 📍 Venue: SS03, Computer Laboratory
Questions? Contact
Dominic Orchard
Abstract
“Give me a module. No, don’t show me the source code! Just the object code is enough. Now, tell me the names and types of the functions in your module. I will automatically generate an algebraic specification for your module in the form of a list of equations.” In presentation, I will perform the trick and reveal how it is done!
Joint work with Nick Smallbone and John Hughes.
Series This talk is part of the Computer Laboratory Programming Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- SS03, Computer Laboratory
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.