翻訳と辞書 |
Multipop-68 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}
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|