Parallel Programming: An Axiomatic Approach

Parallel Programming: An Axiomatic Approach

Bibliographic Details
Main Author:	Hoare, C
Format:	Journal article
Published:	1975

Similar Items

An Axiomatic Basis of Computer Programming
by: Hoare, C
Published: (2015)

An Axiomatic Basis for Computer Programming
by: Hoare, C
Published: (1969)

Procedures and Parameters: An Axiomatic Approach
by: Hoare, C
Published: (1971)

An Axiomatic Definition of the Programming Language PASCAL
by: Hoare, C
Published: (1972)

An Axiomatic Definition of the Programming Language PASCAL
by: Hoare, C, et al.
Published: (1973)

Viewpoint − Retrospective: an axiomatic basis for computer programming
by: Hoare, C
Published: (2009)

The Axiomatic Method
by: Hoare, C
Published: (1968)

An axiomatic approach to queueing systems
by: Mourtzinou, Georgia
Published: (2005)

Axiomatic approach in network science
by: Goh, Jeremy Jia Hao
Published: (2024)

An axiomatic approach to the measurement of corruption
by: Foster, J, et al.
Published: (2009)

Parallel Programming
by: Hoare, C
Published: (2015)

Logics of Programs: Axiomatics and Descriptive Power
by: Harel, David
Published: (2023)

An axiomatic approach to performance-based design
by: Albano, Leonard D. (Leonard Daniel)
Published: (2005)

Axiomatic geometry /
by: 457635 Gemignani, Michael
Published: (1971)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

An axiomatic approach to identification and measurement of multidimensional poverty
by: Alkire, S, et al.
Published: (2009)

Towards an axiomatic approach to information systems development
by: Donovan, John J., et al.
Published: (2009)

Towards a Theory of Parallel Programming
by: Hoare, C
Published: (1972)

Axiomatic Definitions of Programming Languages: A Theoretical Assessment
by: Meyer, Albert R., et al.
Published: (2023)

Unifying Theories for Parallel Programming
by: Hoare, C, et al.
Published: (1997)

An Axiomatization of Borda's Rule.
by: Young, H
Published: (1974)

Axiomatic studies of truth
by: Fujimoto, K
Published: (2010)

Axiomatic redesign : using Axiomatic Design to improve vehicle performance of the steering and suspension system
by: Peliks, Robert Bilgor.
Published: (2005)

A unified axiomatic approach to information content of physical states
by: Vedral, V, et al.
Published: (2003)

An axiomatic characterization of the Brownian map
by: Miller, Jason, et al.
Published: (2022)

Complexity theory in axiomatic design
by: Lee, Tae-Sik, 1974-
Published: (2006)

Axiomatic Deisgn of Manufacturing Systems
by: Cochran, David, et al.
Published: (2002)

Axiomatic Design of Manufacturing Systems
by: Cochran, David S., et al.
Published: (2014)

Implementation of axiomatic design theory
by: Kim, Taejung, 1969-
Published: (2006)

Weak Axiomatic Demand Theory.
by: Quah, J
Published: (2006)

A Complete Axiomatic System for Proving Deductions About Recursive Programs
by: Harel, David, et al.
Published: (2023)

Revealed meta-preferences : axiomatic foundations of normative assessments in the capability approach
by: Silva-Leander, S
Published: (2011)

Revealed meta-preferences : axiomatic foundations of normative assessments in the capability approach
by: Silva-Leander, S
Published: (2011)

Axiomatic Design: Making the Abstract Concrete
by: Nordlund, Mats, et al.
Published: (2017)

Axiomatic Design: 30 Years After
by: Nordlund, Mats, et al.
Published: (2017)

An exploratory study of complexity in axiomatic design
by: Wilson, David Robert
Published: (2005)

Designing-in of Quality Through Axiomatic Design
by: Suh, Nam P.
Published: (2005)

Finite axiomatization of finite soluble groups
by: Wilson, J
Published: (2006)

Axiomatic strengths of certain mathematical statements
by: Koh, Heer Tern
Published: (2020)

Generalized quantification in an axiomatic truth theory
by: Rumfitt, I
Published: (2024)