Invited Paper Formal Analysis of Processor Timing Models Reinhard Wilhelm 1 Heuristics and Probabilities Typical Structural Properties of State Spaces Radek Pelánek 5 State Caching Reconsidered Jaco Geldenhuys 23 Directed Error Detection in C++ with
Contents ix Foreword by stev en h eller 1 Introduction by debbie millm a n 5 mich a el bierut “What actually drove me to a therapist was that I had a very unhealthy obsession with laundry.” 19 ca r in goldberg “When I was growing up, designers were