He worked on computations of short-range missile trajectories at NATO's Air Defense Technical Center (SADTC) in Wassenaar near The Hague in 1958.
In 1962 at the University of California, Berkeley he developed an incremental compiling technology, with a flexibility close to interpreted code, while running at high speed.