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.

都相信我的話

珊瑚

帶來的感覺