Page "Pascal (programming language)" Paragraph 11

A completely new compiler was completed by Welsh et al.

at QUB in 1977.

It offered a source-language diagnostic feature ( incorporating profiling, tracing and type-aware formatted postmortem dumps ) that was implemented by Findlay and Watt at Glasgow University.

This implementation was ported in 1980 to the ICL 2900 series by a team based at Southampton University and Glasgow University.

The Standard Pascal Model Implementation was also based on this compiler, having been adapted, by Welsh and Hay at Manchester University in 1984, to check rigorously for conformity to the BSI 6192 / ISO 7185 Standard and to generate code for a portable abstract machine.