# E.C.R Hehner

From SE Wiki

(Redirected from Eric Hehner)

## Contents

## Faculty

## Interests

the relation between logic and programming

## Contact Information

## Students Supervised

- Peter Kanareitsev
- Ioannis Kassios
- Albert Lai
- Anya Tafliovich
- Robert Will

## Courses Taught

- CSC258Computer Organization
- CSC465Formal Methods of Software Design
- CSC2104Formal Methods of Program Design

## Projects Involved with

## Service

- Member of IFIP, Working Group 2.1 (on Algorithmic Languages and Calculi)
- Member of IFIP, Working Group 2.3 (on Programming Methodology)
- Editor, Acta Informatica
- Editor, Formal Aspects of Computing

## Publications

### 2004

- E.C.R. Hehner. A Practical Theory of Programming, the second edition, Springer-Verlag, New York, 2004

- E.C.R.Hehner. ``Probabilistic Predicative Programming
*, in Proceedings of Mathematics of Program Construction, Stirling Scotland, July, 2004*

- E.C.R.Hehner. `` from Boolean Algebra to Unified Algebra
*, the Mathematical Intelligencer, vol. 26, pp. 3-19, 2004*

### 2003

- E.C.R.Hehner, T.S.Norvell, and R.F.Paige. `` High-Level Circuit Design
*, chapter 18 in Programming Methodology, pp. 318-412, 2003*

### 2002

- E.C.R.Hehner and I.T.Kassios. `` Theories, Implementations, and Transformations
*, in ZB2002 second annual Z and B conference, Grenoble, France, January, 2002*

### 2001

- E.C.R.Hehner and T.S.Norvell. ``program2circuit
*, in Fifth WSES/IEEE World Multiconference on Circuits, Systems, Communications, and Computers, Crete, July, 2001*

- E.C.R.Hehner. ``Variables and Scopes Considered Formally
*, Information Processing Letters, vol. 79, pp. 33-38, 2001*

### Previous

- E.C.R.Hehner. ``Formalism and the Variable
*, Millennial Perspectives in Computer Science Palgrave, pp. 147-156, 2000*

- E.C.R.Hehner and A.M.Gravell. ``Refinement Semantics and Loop Rules
*, in FM'99 World Congress on Formal Methods, Toulouse, France, pp. 1497-1510, 1999*

- R.F.Paige and E.C.R.Hehner. `` Bunches for Object-Oriented, Concurrent, and Real-Time Specification
*, in FM'99 World Congress on Formal Methods, Toulouse, France, pp. 530-550, 1999*

- E.C.R. Hehner. ``Specifications, Programs, and Total Correctness
*, Science of Computer Programming, vol. 34, pp. 191-205, 1999*

- E.C.R. Hehner. ``Formalization of Time and Space
*, Formal Aspects of Computing, vol. 10, pp. 290-306, 1998*

- E.C.R. Hehner. ``Abstractions of Time
*, Prentice-Hall International Series in Computer Science, London, pp. 191-210, 1994*

- E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, New York, 1993

- T.S.Norvell and E.C.R.Hehner. ``Logical Specifications for Functional Programs
*, in International Conference on Mathematics of Program Construction, Oxford, June, 1992*

- E.C.R.Hehner. ``What's wrong with formal programming methods?
*, in Conference on Computing and Information (keynote address, invited), Ottawa, May, 1991*

- E.C.R. Hehner. ``Programming from Specifications
*, Science of Computer Programming, vol. 16, pp. 283-285, October, 1991*

- E.C.R. Hehner. ``a Practical Theory of Programming
*, Science of Computer Programming, vol. 14, pp. 133-158, 1990*

- E.C.R.Hehner. `` Beautifying Goedel
*, chapter 18 in Beauty is our Business, New York, pp. 163-172, 1990*

- E.C.R. Hehner. ``Real-Time Programming
*, Information Processing Letters, vol. 30, pp. 51-56, 1989*

- E.C.R.Hehner. ``Termination is Timing
*, in International Conference on Mathematics of Program Construction (opening address, invited), Enschede, June, 1989*

- E.C.R. Hehner and A.J.Malton. ``Termination Conventions and Comparative Semantics
*, Acta Informatica, vol. 25, pp. 1-14, January, 1988*

- E.C.R.Hehner, L.E.Gupta, and A.J.Malton. ``Predicative Methodology
*, Acta Informatica, vol. 23, pp. 487-505, 1986*

- E.C.R.Hehner. ``Programming Based on Logic and Logic Based on Programming
*, four chapters in Broy (ed.): The Logic of Programming and Calculi of Discrete Design, NATO Advanced Studies Institute Series, pp. 71 pages, 1986*

- E.C.R.Hehner. ``Predicative Programming, Part I
*, Communications ACM, vol. 27, pp. 134-143, February, 1984*

- E.C.R.Hehner. ``Predicative Programming, Part II
*, Communications ACM, vol. 27, pp. 144-151, February, 1984*

- E.C.R.Hehner. ``the Logic of Programming
*, Prentice-Hall International Series in Computer Science, London, pp. 361 pages, 1984*

- E.C.R.Hehner and B.A.Silverberg. ``Programming with Grammars: an Exercise in Methodology-Directed Language Design
*, the Computer Journal, vol. 26, pp. 277-281, 1983*

- E.C.R.Hehner and C.A.R.Hoare. ``a More Complete Model of Communicating Processes
*, Theoretical Computer Science, vol. 26, pp. 105-120, September, 1983*

- E.C.R.Hehner. ``Predicate Semantics
*, in 17th Princeton-Hopkins Conference on Information Science and Systems, Baltimore, pp. 322, March, 1983*

- C.Lengauer and E.C.R.Hehner. ``a Methodology for Programming with Concurrency: an Informal Presentation
*, Science of Computer Programming, vol. 2, pp. 1-8, 1982*

- C.Lengauer and E.C.R.Hehner. ``a Methodology for Programming with Concurrency
*, in CONPAR 81, Nurnberg, June 10-12, 1981*

- E.C.R.Hehner and R.K.Shyamasundar. ``an Implementation of P and V
*, Information Processing Letters, vol. 12, pp. 196-198, August, 1981*

- E.C.R.Hehner. ``Bunch Theory: a Simple Set Theory for Computer Science
*, Information Processing Letters, vol. 12, pp. 26-30, Februay, 1981*

- E.C.R.Hehner. `On the Design of Concurrent Programs
*, INFOR, vol. 18, pp. 289-299, November, 1980*

- E.C.R.Hehner. ``Do Considered od: a Contribution to the Programming Calculus
*, Acta Informatica, vol. 11, pp. 287-304, 1979*

- E.C.R.Hehner and R.N.S.Horspool. ``A New Representation of the Rational Numbers for Fast Easy Arithmetic
*, SIAM Journal on Computation, vol. 8, pp. 124-134, May, 1979*

- R.N.S.Horspool and E.C.R.Hehner. ``Exact Arithmetic Using a Variable-Length P-adic Representation
*, in In Proceeding of Fourth IEEE Symposium on Computer Arithmetic, Santa-Monica, pp. 10-14, October, 1978*

- E.C.R.Hehner. ``On Removing the Machine from the Language
*, Acta Informatica, vol. 10, pp. 229-243, 1978*

- E.C.R.Hehner. ``Information Content of Programs and Operation Encoding
*, Journal of the ACM, vol. 24, pp. 290-297, April, 1977*

- E.C.R.Hehner. ``Structuring
*, in Proceedings of ACM Conference on Principles of Programming Languages, Santa Monica, pp. 201-205, January, 1977*

- E.C.R.Hehner. ``Language-Directed Representation of Machine Instructions
*, in Proceedings of IEEE COMPCON, San Francisco, pp. 99-102, 1976*

- E.C.R.Hehner. ``Computer Design to Minimize Memory Requirements
*, Computer, vol. 9, pp. 65-70, August, 1976*