Subtyping of Context-free Classes

  title={Subtyping of Context-free Classes},
  author={Rainer Neumann and Martin TrappInstitut},
Object-oriented systems are usually not designed from scratch but constructed using frameworks or class libraries. This construction should lead to correct systems provided the reused classes are locally correct. Therefore, knowledge about the features that a certain class provides is often not enough. It is additionally necessary to know the correct semantics of classes, i.e. information on how to use these features, especially, we have to mind the legal sequences of method calls. The present… CONTINUE READING
5 Citations
35 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 35 references

Weak subtyping

  • W. L owe, R. Neumann, M. Trapp, W. Zimmermann
  • Technology of Object-Oriented Languages and…
  • 1998

The Java Language Speci cation

  • J. Gosling, B. Joy, G. Steele
  • The Java Series. Addison Wesley
  • 1997
2 Excerpts

Checking software contracts

  • R. Mitchell, I. Maung, J. Howse, T. Heathcote
  • TOOLS 17 | Technology of Object-Oriented…
  • 1995
1 Excerpt

On the design of reliable libraries

  • A. Frick, W. Zimmer, W. Zimmermann
  • TOOLS 17 { Technology of Object- Oriented…
  • 1995
1 Excerpt

The cecil language { speci cation and rationale

  • C. Chambers
  • Technical report, Dept. of Comp. Science and…
  • 1995
1 Excerpt

The pSather1.0 Manual

  • D. Stoutamire
  • International Computer Science Institute,
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…