TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs
Radu Grigore ( Queen Mary University of London )
TOPL naturally captures relationships between objects and it is
designed with the goal of performing dynamic and static analysis. The
presentation covers its formal semantics as well as several examples
of its use.