Work

Is the Java type system sound?

Year: 1999

Type: article

Source: Theory and Practice of Object Systems

DOI: 10.1002/(sici)1096-9942(199901/03)5:1<3::aid-tapo2>3.0.co;2-t

Authors: Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid

Institution: Imperial College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2065141544

FWCI: 13.97

Cites: 21

Cited by: 73

Related to: 10