BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Geometric Theory of Program Testing. - Tony Hoare\, FRS FREng
DTSTART:20180119T140000Z
DTEND:20180119T150000Z
UID:TALK96958@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Tony Hoare\, FRS FREng\, \nHon Mem Cambridge University Comput
 ing Laboratory.\n\nIn modern agile program development\, significant resou
 rces are devoted to the unit testing of modifications to a large concurren
 t object-oriented program in long-term and often world-wide service.  We s
 uggest that a log of the actions of a test which reveals a fault should be
  displayed as a diagram in the two dimensions of space and time. Such diag
 rams are widely used physics (eg\, by multi-sensor recorders)\, in electro
 nic timing diagrams\, and in top-down design of software architecture\, us
 ing Message Sequence Charts (or similar).\n\nWe show how many of the basic
  features of concurrent object oriented program execution can be simply de
 scribed in an abstract (non-metric) plane geometry\, combining ideas of Eu
 clid and Descartes with those of Petri\, Dahl and Nygaard\,  Stroustrup an
 d many others.  We suggest that the geometry is a highly intuitive denotat
 ional semantic foundation for the definition of families of programming la
 nguages\, which may then be used in combination. Verification-oriented  an
 d operational semantics can then be defined and derived from the denotatio
 nal.
LOCATION:FW26
END:VEVENT
END:VCALENDAR