Abstraction is all we’ve got “4-slot” with R/G thinking Cliff B Jones (joint work with Ken Pierce) Computing Science Newcastle University Dagstuhl 2009-09-17 Cliff B Jones (joint work with Ken Pierce) (Newcastle) Abstraction is all we’ve got Dagstuhl 2009-09-17 1 / 28