Java is type safe — Probably
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 389-418
- https://doi.org/10.1007/bfb0053388
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Java security: from HotJava to Netscape and beyondPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A semantics of object typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Type-safe compilation of covariant specialization: A practical casePublished by Springer Nature ,1996
- Signatures: A language extension for improving type abstraction and subtype polymorphism in C++Software: Practice and Experience, 1995
- A Calculus for Overloaded Functions with SubtypingInformation and Computation, 1995
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Interfaces for strongly-typed object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1989
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- The Smalltalk-76 programming system design and implementationPublished by Association for Computing Machinery (ACM) ,1978