Program Documentation

Program Documentation

Bibliographic Details
Main Author:	Hoare, C
Format:	Report
Published:	Computing Research Division‚ Elliott Brothers Ltd 1968

Similar Items

Historic documents
by: Hoare, C
Published: (2006)

Structured Programming in Introductory Programming Courses
by: Hoare, C
Published: (1976)

Programs are Predicates
by: Hoare, C
Published: (1985)

Programs are Predicates
by: Hoare, C
Published: (1992)

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

The Mathematics of Programming
by: Hoare, C
Published: (1986)

The Mathematics of Programming
by: Hoare, C
Published: (2015)

Programs are Predicates
by: Hoare, C
Published: (1992)

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

Program Correctness Proofs
by: Hoare, C
Published: (1975)

The Varieties of Programming Language
by: Hoare, C
Published: (1989)

Programming is an Engineering Profession
by: Hoare, C
Published: (1983)

Programming: Sorcery or Science
by: Hoare, C
Published: (2015)

Unified Theories of Programming
by: Hoare, C
Published: (2015)

Specifications‚ Programs and Implementations
by: Hoare, C
Published: (1982)

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

Programming Languages: Predictions and Prospects
by: Hoare, C
Published: (1968)

Hints on Programming Language Design
by: Hoare, C
Published: (1974)

Notes on the Standardisation of Programming Languages
by: Hoare, C
Published: (1975)

Parallel Programming: An Axiomatic Approach
by: Hoare, C
Published: (1975)

The High Cost of Programming Languages
by: Hoare, C
Published: (1976)

The Elliott ALGOL Programming System
by: Hoare, C
Published: (1964)

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

Computer Programming as an Engineering Discipline
by: Hoare, C
Published: (1973)

Proof of a Program: FIND
by: Hoare, C
Published: (1971)

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

A Programming Language for Processor Construction
by: Hoare, C
Published: (1965)

Is There a Mathematical Basis for Computer Programming?
by: Hoare, C
Published: (1981)

Maths Adds Safety to Computer Programs
by: Hoare, C
Published: (2015)

Programming Language Design: Principles and Practices
by: Hoare, C
Published: (2015)

Hoare's Formulation of Jones' Calculus for Programming
by: Hoare, C
Published: (2015)

Prospects for a Better Programming Language
by: Hoare, C
Published: (1972)

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

A Notation for the Specification of Computer Programs
by: Hoare, C
Published: (1976)

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

A Model for Programming Language Semantics
by: Hoare, C
Published: (1975)

Program documentation 5017D [videorecording]

After−dinner speech at Austin Year of Programming
by: Hoare, C
Published: (1987)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
by: Hoare, C
Published: (1972)

An Overview of Some Formal Methods for Program Design
by: Hoare, C
Published: (1987)