UP

Experience in Computer Languages

Though I have worked in or on a wide range of languages many of them I have done only small amounts of coding. In some cases I have worked on a language over a period of time without ever actually using the language much. That might be because I was writing compilers for the language (e.g. BASIC), or because I was working on proof support for the language (e.g. HOL/Z) or on the definition of the language.

To give an indication of how much work I have done in a language I have added a guess of the largest power of ten which is less than the number of lines of source which I wrote.

Microcode

Machine Code

Assemblers

High Level Programming Languages

Formal Specification Languages and Logics


UP HOME © RBJ created 94/6/20 modified 96/11/25