Boris Bokowski

According to our database, Boris Bokowski authored at least 8 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Confined types in Java.

Jan Vitek, Boris Bokowski

Softw. Pract. Exp., 2001

2000

A framework for checking programmer defined constraints on the definition and use of program elements in Java.

Boris Bokowski

PhD thesis, 2000

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

Boris Bokowski

Softwaretechnik-Trends, 2000

1999

Confined Types.

Jan Vitek, Boris Bokowski

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java.

Boris Bokowski

Proceedings of the Software Engineering, 1999

Implementing "Object Ownership to Order".

Boris Bokowski

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Poor Man's Genericity for Java.

Boris Bokowski, Markus Dahm

Proceedings of the JIT '98, 1998

CoffeeStrainer - Statically Checking Structural Constraints on Java Programs.

Boris Bokowski

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998