Hoare on Programming

Hoare on Programming

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

Similar Items

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

A Hoare logic for linear systems
by: Arthan, R, et al.
Published: (2013)

Floyd-Hoare Logic Defines Semantics
by: Meyer, Albert R.
Published: (2023)

Hoare's Logic Is Not Complete When It Could Be
by: Bergstra, J., et al.
Published: (2023)

Floyd-Hoare Verifiers "Considered Harmful"
by: Shrobe, Howard E.
Published: (2004)

Semantical Considerations on Floyd-Hoare Logic
by: Pratt, Vaughan R.
Published: (2023)

Spectral measurements of surface hoar crystals
by: SIMON HORTON, et al.
Published: (2017-06-01)

Automatic Function Annotations for Hoare Logic
by: Daniel Matichuk
Published: (2012-11-01)

Deciding KAT and Hoare Logic with Derivatives
by: Ricardo Almeida, et al.
Published: (2012-10-01)

Reflections on the work of C.A.R. Hoare
by: Jones, A, et al.
Published: (2010)

Weak layer fracture: facets and depth hoar
by: I. Reiweger, et al.
Published: (2013-09-01)

The Spanish mission of Samuel Hoare (1940–1944)
by: Krylov, Vladimir A.
Published: (2022-09-01)

Spatial distribution of surface hoar crystals in sparse forests
by: C. Shea, et al.
Published: (2010-06-01)

The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier
by: Chlipala, Adam
Published: (2014)

The growth of sublimation crystals and surface hoar on the Antarctic plateau
by: J.-C. Gallet, et al.
Published: (2014-07-01)

Experimental determination of efficient thermal conductivity of depth hoar
by: R. A. Chernov
Published: (2015-04-01)

Banking as an emerging technology : Hoare's Bank 1702-1742
by: Temin, Peter, et al.
Published: (2011)

The speed of the financial revolution : evidence from Hoare's Bank
by: Temin, Peter, et al.
Published: (2011)

Meteorological, elevation, and slope effects on surface hoar formation
by: S. Horton, et al.
Published: (2015-08-01)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2009)

Automatic Construction of Hoare Proofs from Abstract Interpretation Results
by: Seo, S, et al.
Published: (2003)

Nested Hoare Triples and Frame Rule for Higher−order Store
by: Schwinghammer, J, et al.
Published: (2011)

Nested Hoare Triples and Frame Rules for Higher-order Store
by: Jan Schwinghammer, et al.
Published: (2011-09-01)

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
by: Konstantinos Mamouras
Published: (2017-04-01)

Using Crash Hoare logic for certifying the FSCQ file system
by: Chen, Haogang, et al.
Published: (2021)

Certifying a file system using crash hoare logic
by: Chajed, Tej, et al.
Published: (2019)

Establishing boundaries of the land as a guarantee of hoar land disputes
by: О. В. Бурцев
Published: (2015-03-01)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Thomas Powell
Published: (2024-01-01)

A Classical Mind: essays in Honour of C.A.R. Hoare
Published: (1994)

Soil moisture, wind speed and depth hoar formation in the Arctic snowpack
by: FLORENT DOMINE, et al.
Published: (2018-12-01)

Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction
by: Shinnosuke Mizutani, et al.
Published: (2018-02-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
by: Keiko Nakata, et al.
Published: (2015-02-01)

France and Attempt to Resolve the Italo-Ethiopian Conflict in Late 1935: the Hoare–Laval Plan
by: T. P. Nesterova
Published: (2020-08-01)

Spain and the Spaniards through the eyes of the Extraordinary British Ambassador Samuel Hoare (1940–1944)
by: Krylov, Vladimir A.
Published: (2023-08-01)

Credit rationing and crowding out during the industrial revolution : evidence from Hoare's Bank, 1702-1862
by: Temin, Peter, et al.
Published: (2011)

Effects of meteorology and soil moisture on the spatio-temporal evolution of the depth hoar layer in the polar desert snowpack
by: Gautier Davesne, et al.
Published: (2022-06-01)

Maximum Values of Frozen Soil’s Depth and Hoar Frost’s Thickness Estimated on the Basis of Extreme Values Theory
by: Nedealcov Maria, et al.
Published: (2018-10-01)

Hoar crystal development and disappearance at Dome C, Antarctica: observation by near-infrared photography and passive microwave satellite
by: N. Champollion, et al.
Published: (2013-08-01)

Elevation-dependent behavior of hoar-prominent snowpack on forest slopes in the Japanese Central Alps based on a decade of observations
by: Yusuke Harada, et al.
Published: (2018-12-01)

PRIKAZ/REVIEW Marko Attila Hoare, BOSANSKI MUSLIMANI U DRUGOM SVJETSKOM RATU, Vrijeme, Zenica 2019, 539 str.
by: Ibrahim Kabil
Published: (2020-06-01)