An Axiomatic Basis for Computer Programming

An Axiomatic Basis for Computer Programming

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

Similar Items

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

Viewpoint − Retrospective: an axiomatic basis for computer programming
by: Hoare, C
Published: (2009)

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

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

An Axiomatic Definition of the Programming Language PASCAL
by: Hoare, C, et al.
Published: (1973)

The Axiomatic Method
by: Hoare, C
Published: (1968)

C-programs Verification on Basis of Mixed Axiomatic Semantics
by: I. S. Anureev, et al.
Published: (2010-09-01)

Procedures and Parameters: An Axiomatic Approach
by: Hoare, C
Published: (1971)

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

Tropical Beef: Is There an Axiomatic Basis to Define the Concept?
by: Maria Salud Rubio Lozano, et al.
Published: (2021-05-01)

Logics of Programs: Axiomatics and Descriptive Power
by: Harel, David
Published: (2023)

Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis
by: Yuri N. Lovyagin, et al.
Published: (2021-10-01)

Axiomatic Cloud Computing Architectural Design
by: Thomas John, et al.
Published: (2019-01-01)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

Axiomatic geometry /
by: 457635 Gemignani, Michael
Published: (1971)

Axiomatic Selection of Health and Social Care Web Services on the Basis of Use Cases
by: Parretti Chiara, et al.
Published: (2018-01-01)

Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics
by: Johannes Lenhard
Published: (2005-11-01)

Axiomatic Definitions of Programming Languages: A Theoretical Assessment
by: Meyer, Albert R., et al.
Published: (2023)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-12-01)

Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-01-01)

An Axiomatization of Borda's Rule.
by: Young, H
Published: (1974)

Axiomatic set theory /
by: 366566 Takeuti, Gaisi, et al.
Published: (1973)

Nonstandard analysis, axiomatically /
by: 382299 Kanovei, Vladimir, et al.
Published: (2004)

Axiomatic field theory /
by: Chretien, Max, 1924-, et al.
Published: (1966)

Axiomatic projective geometry /
by: 335238 Heyting, Arend
Published: (1980)

Axiomatic projective geometry /
by: Goodstein, R. L. (Reuben Louis), et al.
Published: (1953)

Axiomatic set theory /
by: 305766 Bernays, Paul
Published: (1968)

An introduction to axiomatic systems /
by: 299523 Meyer, Burnett
Published: (1974)

Axiomatic models of bargaining /
by: 186975 Roth, Alvin E.
Published: (1979)

The role of the axiomatic method /
by: 368253 Wilder, Raymond L.

Axiomatization of Blockchain Theory
by: Sergey Goncharov, et al.
Published: (2023-07-01)

Privacy: An Axiomatic Approach
by: Alexander Ziller, et al.
Published: (2022-05-01)

THE AXIOMATIC METHOD IN ECONOMICS
by: A. N. Nekhamkin, et al.
Published: (2017-10-01)

Axiomatic studies of truth
by: Fujimoto, K
Published: (2010)

Axiomatic Information Thermodynamics
by: Austin Hulse, et al.
Published: (2018-03-01)

An Axiomatic Approach to Routing
by: Omer Lev, et al.
Published: (2016-06-01)

THE AESTHETIC AXIOMATIC: DECONSTRUCTION
by: IRINA VASKES SANTCHES
Published: (2007-08-01)

Axiomatizing complete positivity
by: Oscar Cunningham, et al.
Published: (2015-11-01)

Axiomatizing GSOS with Predicates
by: Luca Aceto, et al.
Published: (2011-08-01)

Axiomatic quality : integrating axiomatic design with six-sigma, reliability, and quality engineering /
by: 233420 El-Haik, Basem
Published: (2005)