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影响因子(影响力)学科排名




书目名称Language Hierarchies and Interfaces网络公开度




书目名称Language Hierarchies and Interfaces网络公开度学科排名




书目名称Language Hierarchies and Interfaces被引频次




书目名称Language Hierarchies and Interfaces被引频次学科排名




书目名称Language Hierarchies and Interfaces年度引用




书目名称Language Hierarchies and Interfaces年度引用学科排名




书目名称Language Hierarchies and Interfaces读者反馈




书目名称Language Hierarchies and Interfaces读者反馈学科排名

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

男学院