Remarks on “Program Proving: Jumps and Functions”

Remarks on “Program Proving: Jumps and Functions”

Bibliographic Details
Main Authors:	Ashcroft, E, Clint, M, Hoare, C
Format:	Journal article
Published:	1976

Similar Items

Program Proving: Jumps and Functions
by: Clint, M, et al.
Published: (1972)

Final Report on SRC Project into Program Proving
by: Hoare, C
Published: (2015)

Testing and Proving‚ Hand−in−Hand
by: Hoare, T
Published: (2010)

Proving programs correct /
by: 389140 Anderson, Robert Brockett, 1941-
Published: (1979)

Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis
by: Tiago de Castro Alves
Published: (2022-01-01)

Proving correctness of highly−concurrent linearisable objects
by: Vafeiadis, V, et al.
Published: (2006)

Accurate Theorem Proving for Program Verification
by: Cook, B, et al.
Published: (2006)

Resolution methods in proving the program correctness
by: Markoski Branko, et al.
Published: (2007-01-01)

Cogent: Accurate theorem proving for program verification
by: Cook, B, et al.
Published: (2005)

Proving Properties of Programs on Hierarchical Nominative Data
by: Ievgen Ivanov, et al.
Published: (2016-12-01)

An Introduction to Programming and Proving with Dependent Types in Coq
by: Adam Chlipala
Published: (2010-01-01)

Proving acceptability properties of relaxed nondeterministic approximate programs
by: Carbin, Michael James, et al.
Published: (2012)

A Proposal for a Geometry Theorem Proving Program
by: Hart, Timothy P.
Published: (2004)

Lightweight Interactive Proving inside an Automatic Program Verifier
by: Sylvain Dailler, et al.
Published: (2018-11-01)

Automating the Diagram Method to Prove Correctness of Program Transformations
by: David Sabel
Published: (2019-02-01)

Heroes proved /
by: North, Oliver, author
Published: (2012)

Meter proving /
by: Institute of Petroleum (Great Britain)
Published: (1985)

Proving Grounds
by: Mikko Myllyntausta
Published: (2022-12-01)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
by: Norton, Lewis Mark
Published: (2023)

Theorem proving [kasetvideo]
Published: (1969)

Theorem proving [filem]
Published: (1969)

Proving the value of training /
by: 408375 Fit-Enz, Jac

The Exception Proves the Rule
by: Holton, Richard
Published: (2009)

The Exception Proves the Rule
by: Holton, Richard
Published: (2011)

Proving prediction prudence
by: Dirk Tasche
Published: (2022-09-01)

Troverdighet på prøve
by: INGRID GULDVIK
Published: (2002-02-01)

Proving of hate crimes
by: Dimovski Darko T., et al.
Published: (2018-01-01)

Proving Feasibility of a Docking Mission: A Contractor Programming Approach
by: Auguste Bourgois, et al.
Published: (2022-04-01)

A Complete Axiomatic System for Proving Deductions About Recursive Programs
by: Harel, David, et al.
Published: (2023)

Proving the Herman-Protocol Conjecture
by: Bruna, M, et al.
Published: (2016)

A Reflective Functional Language for Hardware Design and Theorem Proving
by: Grundy, J, et al.
Published: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
by: Grundy, J, et al.
Published: (2003)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: 183708 Bertot, Yves, et al.
Published: (2004)

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
by: Bernhard Beckert, et al.
Published: (2018-03-01)

Remarkable sine functions /
by: Markushevich, A. I. (Aleksei Ivanovich), 1908-
Published: (1966)

Antioxidant vitamins--benefits not yet proved.
by: Hennekens, C, et al.
Published: (1994)

Playing with LEGO and proving theorems
by: Tanswell, FS
Published: (2017)

How to Prove the Born Rule
by: Wallace, D
Published: (2010)

Malaysian varsities prove their worth
by: Mustafa, Zulita
Published: (2018)