The Laws of Programming

The Laws of Programming

Show other versions (2)

Detalles Bibliográficos
Main Authors:	Hoare, C, Hayes, I, Jifeng, H, Morgan, C, Roscoe, A, Sanders, J, rensen, N, Spivey, J, Sufrin, B
Formato:	Journal article
Publicado:	1987

Títulos similares

Laws of programming
por: Roscoe, A, et al.
Publicado: (1987)

Data Refinement Refined
por: Hoare, C, et al.
Publicado: (1985)

LAWS OF PROGRAMMING.
por: Sufrin, B
Publicado: (1987)

Laws of Occam Programming
por: Roscoe, A, et al.
Publicado: (1986)

The Laws of Occam Programming
por: Roscoe, A, et al.
Publicado: (1988)

The laws of occam programming
por: Roscoe, A, et al.
Publicado: (1988)

Algebra of Logic Programming
por: Seres, S, et al.
Publicado: (1999)

Algebra of Logic Programming
por: Seres, S, et al.
Publicado: (1999)

Programs as executable predicates
por: Roscoe, A, et al.
Publicado: (1984)

Programs as Executable Predicates
por: Hoare, C, et al.
Publicado: (1984)

Generic Models of the Laws of Programming
por: Hoare, T
Publicado: (2013)

Laws of programming with concurrency (Invited Talk)
por: Hoare, T
Publicado: (2013)

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

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

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

The Logic of Procedural Readings
por: Seres, S, et al.
Publicado: (1999)

Linear programming : an introduction /
por: 231934 Spivey, W. A.
Publicado: (1963)

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

A General Conservation Law for Queueing Disciplines
por: Hoare, C
Publicado: (1973)

Structured Programming in Introductory Programming Courses
por: Hoare, C
Publicado: (1976)

Program Documentation
por: Hoare, C
Publicado: (1968)

Programs are Predicates
por: Hoare, C
Publicado: (1985)

Programs are Predicates
por: Hoare, C
Publicado: (1992)

Hoare on Programming
por: Hoare, C
Publicado: (2015)

The Mathematics of Programming
por: Hoare, C
Publicado: (1986)

Parallel Programming
por: Hoare, C
Publicado: (2015)

Programs are Predicates
por: Hoare, C
Publicado: (1992)

The Mathematics of Programming
por: Hoare, C
Publicado: (2015)

Unifying theories of programming
por: He, J, et al.
Publicado: (1998)

Program Correctness Proofs
por: Hoare, C
Publicado: (1975)

The Varieties of Programming Language
por: Hoare, C
Publicado: (1989)

Programming is an Engineering Profession
por: Hoare, C
Publicado: (1983)

Programming: Sorcery or Science
por: Hoare, C
Publicado: (2015)

Unified Theories of Programming
por: Hoare, C
Publicado: (2015)

Specifications‚ Programs and Implementations
por: Hoare, C
Publicado: (1982)

A theory of communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1981)

A theory of communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1984)

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

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
por: Hoare, C
Publicado: (1978)

Categorical Semantics for Programming Languages
por: He, J, et al.
Publicado: (1989)