Boris Bokowski

发表

Implementing "Object Ownership to Order"

Boris Bokowski, 1999, ECOOP Workshops.

Confined types in Java

Jan Vitek, Boris Bokowski, J. Vitek, 2001, Softw. Pract. Exp..

Poor Man's Genericity for Java

Markus Dahm, Boris Bokowski, 1998, Java-Informations-Tage.

Interaction Protocols: Typing of Object Interactions in Frameworks

Boris Bokowski, Boris Bokowski, 1996 .

Interaction Protocols for Composing Concurrent Objects

Boris Bokowski, Boris Bokowski, 1996 .

Jan Vitek, Boris Bokowski, J. Vitek, 1999, OOPSLA '99.

A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java

Boris Bokowski, 2000, Softwaretechnik-Trends.

Poor Man's Genericity for Java

Markus Dahm, Boris Bokowski, 1998, ECOOP Workshops.

Barat - a front end for java

André Spiegel, Boris Bokowski, 1998 .

Static and Dynamic Assertion Mechanisms for Communicating Framework Concepts

Lutz Kirchner, Boris Bokowski, 1997 .

CoffeeStrainer: statically-checked constraints on the definition and use of types in Java

Boris Bokowski, 1999, ESEC/FSE-7.

CoffeeStrainer - Statically Checking Structural Constraints on Java Programs

Boris Bokowski, 1998, ECOOP Workshops.

Jan Vitek, Boris Bokowski, J. Vitek, 1999 .

PIDGETS + + A C + + Framework Unifying PostScript Pictures , Graphical User Interface Objects , and Lazy One-Way Constraints

Boris Bokowski, Enno Scholz, 1996 .