Boris Bokowski

Learn 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)
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)