Proof of a Program: FIND

Proof of a Program: FIND

書目詳細資料
主要作者:	Hoare, C
格式:	Journal article
出版:	1971

相似書籍

Program Correctness Proofs
由: Hoare, C
出版: (1975)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
由: Hoare, C
出版: (1972)

Proof of a Recursive Program: Quicksort
由: Foley, M, et al.
出版: (1971)

Proof of Correctness of Data Representations
由: Hoare, C
出版: (1972)

Design and Proof of a Mail Service
由: Hoare, C, et al.
出版: (1987)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
由: Jifeng, H, et al.
出版: (1987)

Algebraic Specification and Proof of Properties of a Mail Service
由: Hoare, C, et al.
出版: (1986)

How Did Software Get So Reliable Without Proof?
由: Hoare, C
出版: (1996)

Proof positive : finding the cause of AIDS
由: Rulison, Megan R. (Megan Rebecca)
出版: (2009)

Generic Programs and Proofs
由: Hinze, R
出版: (2000)

An Integrated Proof Language for Imperative Programs
由: Zee, Karen, et al.
出版: (2010)

Induction in Proofs about Programs
由: Greif, Irene Gloria
出版: (2023)

Proof methods for corecursive programs
由: Gibbons, J, et al.
出版: (2005)

Proof Methods for Corecursive Programs
由: Gibbons, J, et al.
出版: (2015)

Classical Proofs as Parallel Programs
由: Federico Aschieri, et al.
出版: (2018-09-01)

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

Model and proof generation for heap-manipulating programs
由: Brain, M, et al.
出版: (2014)

Model and Proof Generation for Heap−Manipulating Programs
由: Brain, M, et al.
出版: (2014)

Proof Methods for Structured Corecursive Programs
由: Gibbons, J, et al.
出版: (1999)

Structured Programming in Introductory Programming Courses
由: Hoare, C
出版: (1976)

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

Program Documentation
由: Hoare, C
出版: (1968)

Programs are Predicates
由: Hoare, C
出版: (1985)

Programs are Predicates
由: Hoare, C
出版: (1992)

Hoare on Programming
由: Hoare, C
出版: (2015)

The Mathematics of Programming
由: Hoare, C
出版: (1986)

The Mathematics of Programming
由: Hoare, C
出版: (2015)

Programs are Predicates
由: Hoare, C
出版: (1992)

Parallel Programming
由: Hoare, C
出版: (2015)

Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find
由: Hoare, C
出版: (1961)

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

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

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

A Programming Language for Processor Construction
由: Hoare, C
出版: (1965)

Is There a Mathematical Basis for Computer Programming?
由: Hoare, C
出版: (1981)

Prospects for a Better Programming Language
由: Hoare, C
出版: (1972)

A Notation for the Specification of Computer Programs
由: Hoare, C
出版: (1976)

Towards a Theory of Parallel Programming
由: Hoare, C
出版: (1972)

A Model for Programming Language Semantics
由: Hoare, C
出版: (1975)

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
由: Arno Ehle, et al.
出版: (2018-03-01)