#### Filter Results:

#### Publication Year

1976

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Eric C. R. Hehner
- Sci. Comput. Program.
- 1990

Boolean algebra is simpler than number algebra, with applications in programming, circuit design, law, specifications, mathematical proof, and reasoning in any domain. So why is number algebra taught in primary school and used routinely by scientists, engineers, economists, and the general public, while boolean algebra is not taught until university, and… (More)

- Eric C. R. Hehner
- Commun. ACM
- 1984

<italic>Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined, step by step, to a program via the rules of Predicate Calculus. The semantics allows a free mixture of predicate and programming notations, and manipulation of programs.</italic>

- Eric C. R. Hehner
- MPC
- 1989

- Eric C. R. Hehner
- Formal Asp. Comput.
- 1998

Time and space limitations can be specified, and proven, in exactly the same way as functionality. Proofs of time bounds, both implementation-independent and real-time, and of space requirements, both worst-case and average-case, are given in complete detail. ———————————————

- Gary T. Leavens, Jean-Raymond Abrial, +10 authors Aaron Stump
- GPCE
- 2006

This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software. It also describes what advances the "verified software" grand challenge might anticipate or demand from work in these areas. That is, the roadmap… (More)

- Eric C. R. Hehner
- Acta Inf.
- 1979

- Eric C. R. Hehner
- Prentice Hall International series in computer…
- 1985

- Eric C. R. Hehner, Andrew J. Malton
- Acta Inf.
- 1988

- Eric C. R. Hehner
- MPC
- 2004

This paper shows how probabilistic reasoning can be applied to the predicative style of programming. 0 Introduction Probabilistic programming refers to programming in which the probabilities of the values of variables are of interest. For example, if we know the probability distribution from which the inputs are drawn, we may calculate the probability… (More)