[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Formal Techniques for Java

To: occam-com@xxxxxxxxx, java-threads@xxxxxxxxx
Subject: Formal Techniques for Java
From: Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Fri, 16 Apr 1999 23:21:24 +0100 (BST)

As I mentioned at Keele, there is a Workshop on Formal techniques for Java
in June.
Look under  http://www.informatik.fernuni-hagen.de/import/pi5/.
It is associated with ECOOP99:  
	http://www.informatik.fernuni-hagen.de/import/
A certain CAR Hoare is talking on "A Trace Model for Pointers and Objects".

Adrian
-- 
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275

Prev by Date: opendesign
Next by Date: F-CPU URL
Previous by thread: opendesign
Next by thread: F-CPU URL
Index(es):
- Date
- Thread