Titlebook: Language Hierarchies and Interfaces; International Summer Friedrich L. Bauer,E. W. Dijkstra,Klaus Samelson Conference proceedings 1976 Spri

额外的事

贫穷地活

acclimate

0302-9743 Overview: 978-3-540-07994-1978-3-540-37972-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Graves’-disease

On-the-fly darbage collection: an exercise in cooeration,A technique is presented which allows nearly all of the garbage detection and collection activity to be performed by an additional processor, operating concurrently with the processor carrying out the computation proper. Exclusion and synchronization contraints between the processors have been kept weak.

骄傲

An exercise in proving parallel programs correct,A parallel program, Dijkstra‘s on-the-fly garbage collector, is proved correct using a proof method developed by Owicki. The fine degree of interleaving in this program makes it especially difficult to understand, and complicates the proof greatly. Difficulties with proving such parallel programs correct are discussed.

假

不断的变动

The structure of an operating system,This paper describes the use of the class and inner concepts of SIMULA 67 to express the multi-level structure of an operating system. A comparison is drawn between compile-time checking and run-time protection.

都相信我的话

珊瑚

带来的感觉