sentence: he has worked on programming language design and implementation ( fortran , mesa , euclid , c++ , java ) , interactive programming systems , dynamic interpretation and compilation , document preparation systems , user interface design , distributed transactional file systems , and distributed , object-oriented operating systems .