University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) >  TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs

TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Peter Sewell.

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.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity