Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary

Search Dictionary:  

Meaning of MULTIPOP-68

Computing Dictionary

An early time-sharing operating system developed in Edinburgh by Robin Popplestone and others. It was inspired by mit' project mac, via a "MiniMac" project which was aborted when it became obvious that elliot brothers Ltd. could not supply the necessary disk storage. Multipop was highly efficient in its use of machine resources to support symbolic programming, and effective - e.g. in supporting the development of the boyer-moore theorem prover and of Burstall and Darlington's transformation work.

It was not good at supporting the user programs which were then the standard fare of computing, e.g. matrix inversion. This arose from the fact that while the pop-2 compiler generated good code for function call (which is a lot of what layered systems like operating systems do) it did not generate efficient code for arithmetic or store access, because there was no way to police the generation of illegal objects statically. (hindley-milner type checking did not exist). Indeed, since many OS features like file-access were performed by function-call (of a closure) rather than an OS call requiring a context switch, POP-2 actually gained performance.



[Edited from a posting by Robin Popplestone].