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

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

TBC, Donald McIntyre Building, Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ Main Lecture Theatre, Divinity School, St John's College, All Saints' Passage St John's College, CB2 1TP Judge Business School, Castke Teaching Room

Other talks

Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s Title to be confirmed C2D3 Computational Biology Annual Symposium 2026 Title to be confirmed "That's History. That's Truth. I Seen It Myself": T'tc~tsa (Wailaki) and the Enslavement of California Native Americans. Title to be confirmed
 

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