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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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.

Other lists

Skewness, Heavy Tails, Market Crashes, and Dynamics Cambridge Psychometrics Centre Seminars 'Making All Things New'? Evangelii Gaudium and Ecumenical Mission

Other talks

Scale and anisotropic effects in necking of metallic tensile specimens Computational Neuroscience Journal Club Structurally unravelling ATP synthase TODAY Foster Talk - Integrin-associated adhesion complexes and their role in mechanotransduction Religion, revelry and resistance in Jacobean Lancashire How to Deploy Psychometrics Successfully in an Organisation 'Walking through Language – Building Memory Palaces in Virtual Reality' Disease Migration “Modulating Tregs in Cancer and Autoimmunity” Computing High Resolution Health(care) Big and small history in the Genizah: how necessary is the Cairo Genizah to writing the history of the Medieval Mediterranean?
 

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