Ron Pressler: On the Nature of Abstraction

Ron Pressler (, ) presents a talk with title “On the Nature of Abstraction: An introduction to the mathematical analysis of programs“ inspired by the papers “Binary Relations for Abstraction and Refinement“ by David A Schmidt and “The Existence of Refinement Mappings“ by Martín Abadi and Leslie Lamport.