Towards an Operational Semantics and Proof of Type Soundness for Java

@inproceedings{Drossopoulou1997TowardsAO,
  title={Towards an Operational Semantics and Proof of Type Soundness for Java},
  author={Sophia Drossopoulou},
  year={1997}
}
The philosophy of the Java language designers was to provide a small and sim ple language including only features with well known semantics Java combines features from C Smalltalk Clos and other object oriented languages Nevertheless we feel that the introduction of some new features in Java as well as the speci c combination of features justi es a study of the Java formal semantics The use of interfaces reminiscent of is a simpli cation of the signatures extension for C and is to the best of… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS