✦ LIBER ✦

Parallel programming: An axiomatic approach

✍ Scribed by C.A.R. Hoare

Book ID: 113230010
Publisher: Elsevier Science
Year: 1975
Tongue: English
Weight: 640 KB
Volume: 1
Category: Article
ISSN: 0096-0551
DOI: 10.1016/0096-0551(75)90014-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Axiomatic Approach to Robust Geometri

An Axiomatic Approach to Robust Geometric Programs

✍ Peter Schorn 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Creating robust geometric programs, i.e., programs that handle degenerate configurations correctly, is a difficult problem, especially if the underlying geometric primitives are implemented in floating point arithmetic. This paper presents an axiomatic method for constructing programs built on impre

An axiomatic basis for computer programm

An axiomatic basis for computer programming

✍ Hoare, C. A. R. 📂 Article 📅 1969 🏛 Association for Computing Machinery 🌐 English ⚖ 641 KB

Equitable Opportunities: An Axiomatic Ap

Equitable Opportunities: An Axiomatic Approach

✍ Laurence Kranich 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 760 KB

Learning curves—an axiomatic approach

✍ F. Lowenthal 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 523 KB

An axiomatic approach to computers

✍ MELVIN C. FITTING 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 717 KB

Inductive Inference: An Axiomatic Approa

Inductive Inference: An Axiomatic Approach

✍ Itzhak Gilboa; David Schmeidler 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 206 KB