Hints on programming language design

von Hoare, C.
Veröffentlicht 1973

Recursive data structures

von Hoare, C.
Veröffentlicht 1973

Laws of programming : a tutorial paper

Veröffentlicht 1985

Parallel programming: an axiomatic approach

von Hoare, C.
Veröffentlicht 1973

Monitors: an operating system structuring concept

von Hoare, C.
Veröffentlicht 1973

Structured Programming

von Hoare, C. A. R.

Computer science

von Hoare, C. A. R.
Veröffentlicht 1971

Specifications, programs and implementations

von Hoare, C. A. R.
Veröffentlicht 1982

The weakest prespecification

von Hoare, C.
Veröffentlicht 1985

EFFECT OF SMALL/MEDIUM SCALE RESERVOIR HETEROGENEITY ON THE EFFECTIVENESS OF WATER, GAS AND WATER ALTERNATING GAS WAG INJECTION

von Hoare, G.
Veröffentlicht in SPE Europec (2018 : Kopenhagen) SPE Europec featured at 80th EAGE Conference and Exhibition ; Volume 1 of 2 (2019)

Specification-oriented semantics for communicating processes

von Olderog, E.
Veröffentlicht 1984

The structure of an operating system : Parallel programming: an axiomatic approach. monitors: an operating system structuring concept. proof of correctness of data representation...

von Hoare, C. A. R.
Veröffentlicht in International Summer School on Language Hierarchies And Interfaces. München. July - Aug 1975 S. getrennte Zählung (1975)

Programming is an engineering profession

von Hoare, C. A. R.
Veröffentlicht 1982

s. Operating-systems-techniques

von Hoare, C. A. R.
Veröffentlicht 1972

Notes on communicating sequential processes

von Hoare, C. A. R.
Veröffentlicht 1983

A survey of store management techniques

von Hoare, C.
Veröffentlicht 1972

Prespecification and data refinement

von Jifeng, H.
Veröffentlicht in Jifeng, H.: Data Refinement In A Categorical Setting (1990)

Above the Battle : By Vivian Drake. With an introd. by Gen. C. G. Hoare

von Drake, Vivian
Veröffentlicht 1918

Data refinement in a categorical setting

von Jifeng, He
Veröffentlicht 1990

Algebraic specification and proof of properties of communicating sequential processes

von Hoare, C. A. R.
Veröffentlicht 1985