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

peak-flow-meter

書目名稱Language Hierarchies and Interfaces影響因子(影響力)




書目名稱Language Hierarchies and Interfaces影響因子(影響力)學(xué)科排名




書目名稱Language Hierarchies and Interfaces網(wǎng)絡(luò)公開度




書目名稱Language Hierarchies and Interfaces網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Language Hierarchies and Interfaces被引頻次




書目名稱Language Hierarchies and Interfaces被引頻次學(xué)科排名




書目名稱Language Hierarchies and Interfaces年度引用




書目名稱Language Hierarchies and Interfaces年度引用學(xué)科排名




書目名稱Language Hierarchies and Interfaces讀者反饋




書目名稱Language Hierarchies and Interfaces讀者反饋學(xué)科排名

Isometric

A time-wise hierarchy imposed upon the use of a two-level store, dedicated hardware can be expected to contribute effectivel to memory management and the prevention of thrashing. Finally, the properties of the system should be such that a mismatch between configuration and workload gives a clear indication as to what reconfigurations seem indicated.

obstruct

微粒

Structured programming in the basic layers of an operating system,

Derogate

PANEL

Parallel programming: An axiomatic approach,operation, communication and "colluding". In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. Warning: the program structuring methods described here are not suitable for the construction of operating systems.

大喘氣

The programming language concurrent pascal,e Pascal with concurrent programming tools called processes and monitors. Part 1 of the paper explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Part 2 uses the same example to introduce the language notation. The main contribution

大廳

Guarded commands, non-determinacy and a calculus for the derivation of programs,nts for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be shown.

SPECT

男學(xué)院