Proof of a Program: FIND

Proof of a Program: FIND

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

Similar Items

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

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

Proof of a Recursive Program: Quicksort
by: Foley, M, et al.
Published: (1971)

Proof of Correctness of Data Representations
by: Hoare, C
Published: (1972)

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

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

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

How Did Software Get So Reliable Without Proof?
by: Hoare, C
Published: (1996)

Proof positive : finding the cause of AIDS
by: Rulison, Megan R. (Megan Rebecca)
Published: (2009)

Generic Programs and Proofs
by: Hinze, R
Published: (2000)

An Integrated Proof Language for Imperative Programs
by: Zee, Karen, et al.
Published: (2010)

Proof Methods for Corecursive Programs
by: Gibbons, J, et al.
Published: (2015)

Proof methods for corecursive programs
by: Gibbons, J, et al.
Published: (2005)

Induction in Proofs about Programs
by: Greif, Irene Gloria
Published: (2023)

Classical Proofs as Parallel Programs
by: Federico Aschieri, et al.
Published: (2018-09-01)

The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
by: Hoare, C
Published: (1996)

Model and Proof Generation for Heap−Manipulating Programs
by: Brain, M, et al.
Published: (2014)

Model and proof generation for heap-manipulating programs
by: Brain, M, et al.
Published: (2014)

Proof Methods for Structured Corecursive Programs
by: Gibbons, J, et al.
Published: (1999)

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

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

Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find
by: Hoare, C
Published: (1961)

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

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

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

Program Documentation
by: Hoare, C
Published: (1968)

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

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

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

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

Adapting proofs-as-programs : the curry - howard protocol /
by: 287020 Poernomo, Iman Hafiz, et al.
Published: (2005)

On automating the extraction of programs from termination proofs
by: Fairouz Kamareddine, et al.
Published: (2003-12-01)

Study design and baseline findings from the progression of ocular findings (PROOF) natural history study of dry eye
by: Peter J. McDonnell, et al.
Published: (2017-12-01)

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

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

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

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

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

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

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