Boris Bokowski - Publications

Conference Publications

Boris Bokowski, Jan Vitek: Confined Types, Proc. OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999

Boris Bokowski: CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
© Springer-Verlag. Proceedings of ESEC/FSE'99, Toulouse, France, September 6-10, 1999

Boris Bokowski, Markus Dahm: Poor Man's Genericity for Java, Proceedings of JIT'98, © Springer Verlag, 1998

Enno Scholz, Boris Bokowski: Pidgets++ - A C++ Framework Unifying PostScript Pictures, Graphical User Interface Objects, and Lazy One-Way Constraints. Proceedings of TOOLS USA '96, Prentice Hall, 1996.

Journal Publications

Jan Vitek, Boris Bokowski: Confined Types, Software Practice and Experience, to appear

Gerald Brose, Boris Bokowski: Ein Object Request Broker für Java. Java-Sonderheft, Informatik / Informatique, Zeitschrift der schweizerischen Informatikorganisationen, Juni 1997.

Dissertation

Boris Bokowski, A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java, Fachbereich Mathematik u. Informatik, Freie Universität Berlin. Referees: Prof. Dr. Klaus-Peter Löhr, Prof. Dr. Stefan Jähnichen, Prof. Dr. Theo D'Hondt.

Workshop Publications

Boris Bokowski, Lutz Kirchner: Static and Dynamic Assertion Mechanisms for Communicating Framework Concepts, Position Paper, OOPSLA'97 Workshop on Developing Successful Object-Oriented Frameworks, Atlanta, Georgia, October 5-9, 1997

Boris Bokowski: Interaction Protocols for Composing Concurrent Objects. Proc. ECOOP'96 Workshop on Composability Issues, in Special Issues in Object-Oriented Programming, Max Mühlhäuser (general editor) et al., © dpunkt, Heidelberg, 1997, pp. 110-116.

Boris Bokowski: IPDL - Interaction Protocols for Distributed Objects. Proceedings of the KI-96 Workshop on Agent-Oriented Programming and Distributed Systems, published as DFKI Document D-96-06, Saarbrücken, 1996.

Technical Reports

Boris Bokowski: CoffeeStrainer - Statically Checking Structural Constraints on Java Programs, Technical Report B-98-14, Freie Universität Berlin, Institut für Informatik, December 1998

Boris Bokowski, André Spiegel: Barat - A Front-End for Java, Technical Report B-98-09, Freie Universität Berlin, Institut für Informatik, December 1998

Boris Bokowski: Interaction Protocols - Typing of Object Interactions in Frameworks. Technical Report B-96-10, Freie Universität Berlin, Institut für Informatik, November 1996.