E.C.R Hehner

From SE Wiki
(Redirected from Eric Hehner)
Jump to: navigation, search

Faculty

Personal Page

Online Publications

Interests

the relation between logic and programming

Contact Information

Students Supervised

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