Lambda the Ultimate

inactiveTopic LOOP: Formal methods for object-oriented systems
started 12/25/2001; 6:00:06 AM - last post 12/25/2001; 6:00:06 AM
Ehud Lamm - LOOP: Formal methods for object-oriented systems  blueArrow
12/25/2001; 6:00:06 AM (reads: 1632, responses: 0)
LOOP: Formal methods for object-oriented systems
LOOP stands for Logic of Object-Oriented Programming. It is the name of a research project, and also the name of the tool that plays a central role in this project. The topic is formal methods for object-oriented languages. The aim is to specify and verify properties of classes in object-oriented languages, using proof tools like PVS and Isabelle.

We indirectly mentioned this project, by linking to papers on Java verification, and on colagebras.


Posted to OOP by Ehud Lamm on 12/25/01; 6:00:19 AM