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

SM2A (microcode assembler for 2900 mainframes) (10⁴)

Machine Code

IBM 1130 (10²)

Assemblers

Marconi Myriad (10²)
English Electric System 4 (same as an IBM/360) (10⁴)
ICT 1900 series (10³)
Z80 microprocessor (10³)
8085 microprocessor (10³)

High Level Programming Languages

Fortran II (10³)
Fortran IV (10³)
BASIC (10³)
Pascal (10²)
Algol68 (10³)
S3 (10³)
BCPL (10²)
SAGE (10²)
PROLOG (10²)
Miranda (10²)
Cambridge/Inria ML (10³)
Standard ML (10⁴)
C (10²)
C-shell (10²)
Perl (10³)

Formal Specification Languages and Logics

VDM (10²)
Z (10³)
HOL (10² specs 10³ proofs)

created 94/6/20 modified 96/11/25