Boris Bokowski

Learn More
SUMMARY The sharing and transfer of references in object-oriented languages is difficult to control. Without any constraint, practical experience has shown that even carefully engineered object-oriented code can be brittle, and subtle security deficiencies can go unnoticed. In this paper, we present inexpensive syntactic constraints that strengthen(More)
This paper presents a front-end for Java, called Barat, that supports static analysis of Java programs. Barat builds a complete abstract syntax tree from Java source code files, enriched with name and type analysis information. It supports the complete Java language as of version 1.1. Barat is structured as a framework that supports traversals of abstract(More)
Sharing and transfer of object references is difficult to control in object-oriented languages. Unconstrained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the(More)
A n umber of proposals have been made as to how J a va can be changed to support parameterized types. We present a new proposal that does not try to provide more powerful constructs or cleaner semantics, but instead minimizes the changes that need to be made to existing Java compilers. In particular, we found that changing only one method in Sun's Java(More)
Usually, programming languages are used according to conventions and rules. Although general rules can be enforced by lint-like tools, there is a large class of rules that cannot be built into such tools because they result from particular design decisions or the reuse of existing software. This paper presents a system, called CoffeeStrainer, that(More)
Sharing and transfer of object references is diicult to control in object-oriented languages. Uncon-strained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the(More)
A framework for programming graphical user interfaces (GUIs), called PIDGETS++, is presented. PIDGETS++ enables arbitrary device-independent PostScript graphics descriptions to be composed and manipulated as structured C++ objects. Not only can graphics descriptions be displayed in windows, additionally, they can be equipped with handlers which are invoked(More)