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

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

• Radu Grigore, QM
• Monday 10 October 2011, 12:45-14:00
• FW26.

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:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Martin's interesting talks
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list
• yk449

Note that ex-directory lists are not shown.