Skip to main content
SpringerLink
Log in
Book cover

European Conference on Object-Oriented Programming

ECOOP 1998: Object-Oriented Technology: ECOOP’98 Workshop Reader pp 380–381Cite as

CoffeeStrainer - Statically Checking Structural Constraints on Java Programs

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1543))

Abstract

Statically typed languages allow many errors to be detected at compile-time. However, many errors that could be detected statically cannot be expressed using today’s type systems. We describe a compile-time reflection framework for Java which allows for static checking of structural constraints.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design patterns-elements of reusable object-oriented software, Addison-Wesley 1995

    Google Scholar 

  2. B. Bokowski, A system for statically checking structural constraints on Java programs, Technical Report B-98-14, Freie Universität Berlin, Institut für Informatik, September 1998

    Google Scholar 

  3. C. K. Duby, S. Meyers, S. P. Reiss, CCEL: a metalanguage for C++, Proceedings of USENIX C++ Conference, Portland, Oregon, August 1992

    Google Scholar 

  4. N. Klarlund, J. Koistinen, M. I. Schwartzbach, Formal design constraints, Proceedings of OOPSLA’96, ACM SIGPLAN Notices, Vol. 31, No. 10, October 1996

    Google Scholar 

  5. N. H. Minsky, Law-governed regularities in object systems; part 1: an abstract model, Theory and Practice of Object Systems, Vol. II, No. 4, Wiley 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Freie Universität Berlin, Berlin, Germany

    Boris Bokowski

Authors
  1. Boris Bokowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Berne, Neubruckstr. 10, CH-3012, Berne, Switzerland

    Serge Demeyer

  2. Softcenter, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Jan Bosch

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bokowski, B. (1998). CoffeeStrainer - Statically Checking Structural Constraints on Java Programs. In: Demeyer, S., Bosch, J. (eds) Object-Oriented Technology: ECOOP’98 Workshop Reader. ECOOP 1998. Lecture Notes in Computer Science, vol 1543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49255-0_111

Download citation

  • DOI: https://doi.org/10.1007/3-540-49255-0_111

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65460-5

  • Online ISBN: 978-3-540-49255-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation