Towards a Theory of Parallel Programming

Towards a Theory of Parallel Programming

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hoare, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	Academic Press 1972

Míreanna comhchosúla

Unifying Theories for Parallel Programming
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1997)

Parallel Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Parallel Programming: An Axiomatic Approach
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

Unified Theories of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Unifying theories of programming
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1998)

Towards a Theory of Communicating Sequential Processes
de réir: Hoare, C
Foilsithe / Cruthaithe: (1979)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1978)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Linking Theories in Probabilistic Programming
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1999)

Assertions in Programming: From Scientific Theory to Engineering Practice
de réir: Hoare, C
Foilsithe / Cruthaithe: (2002)

Assertions in Programming: From Scientific Theory to Engineering Practice
de réir: Hoare, C
Foilsithe / Cruthaithe: (2002)

Synchronisation of Parallel Processes
de réir: Hoare, C
Foilsithe / Cruthaithe: (1980)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
de réir: Hoare, C
Foilsithe / Cruthaithe: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
de réir: Hoare, C
Foilsithe / Cruthaithe: (1999)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
de réir: Hoare, C
Foilsithe / Cruthaithe: (1999)

Parallel Processing: Theoretical Foundations
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Two−Categorical Models of Parallelism
de réir: Hoare, C
Foilsithe / Cruthaithe: (1995)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1974)

Structured Programming in Introductory Programming Courses
de réir: Hoare, C
Foilsithe / Cruthaithe: (1976)

Parallel programming /
de réir: Perrott, Ronald H., 1942-
Foilsithe / Cruthaithe: (1987)

Parallel programming /
de réir: Ragsdale, Susann
Foilsithe / Cruthaithe: (1991)

Parallel programming /
de réir: 178525 Baker, Lou, et al.
Foilsithe / Cruthaithe: (1996)

A Theory of Conjunction and Concurrency
de réir: Hoare, C
Foilsithe / Cruthaithe: (1989)

A Theory of Conjunction and Concurrency
de réir: Hoare, C
Foilsithe / Cruthaithe: (1990)

A Fragment of Graph Theory
de réir: Hoare, C
Foilsithe / Cruthaithe: (1994)

Category Theory
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Parallel processing and parallel algorithms : theory and computation /
de réir: 240861 Roosta, Seyed H.
Foilsithe / Cruthaithe: (2000)

Proof of a Program: FIND
de réir: Hoare, C
Foilsithe / Cruthaithe: (1971)

Unifying Theories : A Personal Statement
de réir: Hoare, C
Foilsithe / Cruthaithe: (1996)

Program Documentation
de réir: Hoare, C
Foilsithe / Cruthaithe: (1968)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1985)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1992)

Hoare on Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

The Mathematics of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (1986)

The Mathematics of Programming
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Programs are Predicates
de réir: Hoare, C
Foilsithe / Cruthaithe: (1992)

Introduction to Domain Theory
de réir: Hoare, C
Foilsithe / Cruthaithe: (1987)

Prospects for a Better Programming Language
de réir: Hoare, C
Foilsithe / Cruthaithe: (1972)

A Programming Language for Processor Construction
de réir: Hoare, C
Foilsithe / Cruthaithe: (1965)

Is There a Mathematical Basis for Computer Programming?
de réir: Hoare, C
Foilsithe / Cruthaithe: (1981)