[Prev][Next][Index][Thread]
Soundness of the C++ or Java type system
-
To: types@dcs.gla.ac.uk
-
Subject: Soundness of the C++ or Java type system
-
From: scd@doc.ic.ac.uk (Sophia Drossopoulou)
-
Date: Tue, 11 Jun 96 14:06:24 +0200
-
Approved: types@dcs.gla.ac.uk
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Does anybody know of any formal proofs, or informal arguments
that show that C++ or Java have a sound type system?
If I get any replies, I will compile the answers and post
on this news group.
Thanks in advance,
Sophia Drossopoulou,
Imperial College,
London