Laws of programming

Laws of programming

Visa andra versioner (2)

Bibliografiska uppgifter
Huvudupphovsmän:	Roscoe, A, Hoare, C, Jifeng, H, Hayes, I, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
Materialtyp:	Journal article
Publicerad:	1987

Liknande verk

The Laws of Programming
av: Hoare, C, et al.
Publicerad: (1987)

Data Refinement Refined
av: Hoare, C, et al.
Publicerad: (1985)

LAWS OF PROGRAMMING.
av: Sufrin, B
Publicerad: (1987)

Laws of Occam Programming
av: Roscoe, A, et al.
Publicerad: (1986)

The Laws of Occam Programming
av: Roscoe, A, et al.
Publicerad: (1988)

The laws of occam programming
av: Roscoe, A, et al.
Publicerad: (1988)

Formal specification and design of a simple assembler
av: Sørensen, I, et al.
Publicerad: (1987)

Algebra of Logic Programming
av: Seres, S, et al.
Publicerad: (1999)

Algebra of Logic Programming
av: Seres, S, et al.
Publicerad: (1999)

Programs as executable predicates
av: Roscoe, A, et al.
Publicerad: (1984)

Programs as Executable Predicates
av: Hoare, C, et al.
Publicerad: (1984)

Generic Models of the Laws of Programming
av: Hoare, T
Publicerad: (2013)

Laws of programming with concurrency (Invited Talk)
av: Hoare, T
Publicerad: (2013)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
av: Jifeng, H, et al.
Publicerad: (1987)

Design and Proof of a Mail Service
av: Hoare, C, et al.
Publicerad: (1987)

The Laws of Programming Unify Process Calculi
av: Hoare, T, et al.
Publicerad: (2012)

The Logic of Procedural Readings
av: Seres, S, et al.
Publicerad: (1999)

Linear programming : an introduction /
av: 231934 Spivey, W. A.
Publicerad: (1963)

A General Conservation Law for Queueing Disciplines
av: Hoare, C
Publicerad: (1973)

Structured Programming in Introductory Programming Courses
av: Hoare, C
Publicerad: (1976)

Program Documentation
av: Hoare, C
Publicerad: (1968)

Programs are Predicates
av: Hoare, C
Publicerad: (1985)

Programs are Predicates
av: Hoare, C
Publicerad: (1992)

Hoare on Programming
av: Hoare, C
Publicerad: (2015)

The Mathematics of Programming
av: Hoare, C
Publicerad: (1986)

Programs are Predicates
av: Hoare, C
Publicerad: (1992)

Parallel Programming
av: Hoare, C
Publicerad: (2015)

The Mathematics of Programming
av: Hoare, C
Publicerad: (2015)

A theory of communicating sequential processes
av: Roscoe, A, et al.
Publicerad: (1981)

A theory of communicating sequential processes
av: Roscoe, A, et al.
Publicerad: (1984)

A Theory of Communicating Sequential Processes
av: Brookes, S, et al.
Publicerad: (1984)

Unifying theories of programming
av: He, J, et al.
Publicerad: (1998)

Program Correctness Proofs
av: Hoare, C
Publicerad: (1975)

The Varieties of Programming Language
av: Hoare, C
Publicerad: (1989)

Programming is an Engineering Profession
av: Hoare, C
Publicerad: (1983)

Programming: Sorcery or Science
av: Hoare, C
Publicerad: (2015)

Unified Theories of Programming
av: Hoare, C
Publicerad: (2015)

Specifications‚ Programs and Implementations
av: Hoare, C
Publicerad: (1982)

Categorical Semantics for Programming Languages
av: He, J, et al.
Publicerad: (1989)

Linking Theories in Probabilistic Programming
av: He, J, et al.
Publicerad: (1999)