Edinburgh IMP is a development of ATLAS Autocode, initially developed around 1966-1969 at Edinburgh University, Scotland. IMP was a general-purpose programming language which was used heavily for systems programming.
Expressively, IMP is extremely similar to Algol and includes all the Algol-style block structure, reserved keywords, and datatypes such as arrays and records. It adds to Algol-style languages a string type (akin to a flex array of char) and built-in operators for string manipulation and character handling.
IMP provides significant control over the storage mapping of data, plus commands for addressing within parts of words. Most Imp compilers offer compiler-generated run-time checks and a backtrace facility by default, even in production code. IMP allows the programmer to inline machine language instructions in the IMP source code.
Early IMP compilers were developed for the ICL System 4, UNIVAC 1108, IBM 360, DEC PDP-9, DEC PDP-15 and CTL Modular One computers. IMP was used to implement the EMAS operating system. In later years a version of IMP called IMP77 was developed by Peter Robertson within the Computer Science department at Edinburgh which was a portable compiler that brought IMP to even more platforms. In 2002 the IMP77 language was resurrected by the Edinburgh Computer History Project for Intel x86 hardware running DOS, Windows and Linux and is once again in use by Edinburgh graduates and ex-pats.
The diverged IMP and IMP77 were later consolidated into a single language with the introduction of the IMP80 standard supported by implementations from the Edinburgh Regional Computer Centre. IMP80 has also been ported to several platforms including Intel and was actively in use into the 1990s.
Edinburgh IMP is unrelated to the later IMP (programming language) extensible syntax programming language developed by Irons for the CDC 6600, which was the main language used by the NSA for many years.
See also 
- IMP programming language (contrast)
- Barritt, M. M. et al., Edinburgh IMP Language Manual, University of Edinburgh, Edinburgh Regional Computing Centre, July 1970.
- Example Early IMP Program (actually the world's first known self-reproducing program)
- Intel (Windows + Linux) IMP77 Compiler
- Edinburgh IMP Language Manual, Second edition (1974) (Scan) by Roderick McLeod
- The Imp77 Language (Rekeyed 2003) (also in ASCII format)
- Using Imp77
- The Production of Optimised Machine Code for High Level Languages using Machine-Independent Intermediate Codes
- I-Code V1.3 Working Notes[dead link]
- A short description of some optimisation techniques used in the PDP11 Imp Compiler[dead link]
- IMP11 User's Guide
- Imp on the DECsystem-10/20 Users Guide and library manual
- Edinburgh IMP80 Language Manual by Felicity Stephens and John Murison
- Source of first ever IMP compiler for KDF9 by Bratley, Rees, Schofield and Whitfield, 1965
- Source of IMP compiler for PDP9/PDP15 by Hamish Dewar
- Windows implementation of Imp15. Generates stand-alone .EXE files.
- Notes on IMP9 Compiler Output by Hamish Dewar
- Skimp MkII compiler by David Rees - used in 3rd year compilers class at Edinburgh University
- Source of IMP compiler for PDP11 bootstrapped via Skimp
- Source of first IMP compiler written entirely in IMP (1970)
- Source of IMP compiler for 68000 platform[dead link] by Hamish Dewar
- Sources of Imp77 compilers for several platforms[dead link] by Peter Robertson
- Source of Imp80 compiler for Intel by Peter D Stephens
- Notes on IMP Programming by Peter D Schofield
- Extracts from The IMP Language and Compiler[dead link] by Peter D Stephens
- IMP80 - A Historical Introduction[dead link] by Peter D Stephens
- Differences between ERCC IMP on ICL 4/75 and IMP80 on ICL2900 by John M. Murison