Travelled to:1 × France
1 × USA
Collaborated with:∅ J.Vitek
Talks about:type (2) constraint (1) strainer (1) definit (1) static (1) confin (1) coffe (1) check (1) java (1) use (1)
Person: Boris Bokowski
DBLP: Bokowski:Boris
Contributed to:
1999
1999Wrote 2 papers:
- ESEC-FSE-1999-Bokowski #constraints #java #named #using
- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.
- OOPSLA-1999-VitekB
- Confined Types (JV, BB), pp. 82–96.