Faculty :: Eric Hehner
Personal PagePublications
Interests: the relation between logic and programming, formal methods of software design, unified algebra, high-level circuit design, programming language semantics and design.

Contact Information:

Students Supervised:

Courses Taught:
  • CSC258Computer Organization
  • CSC465Formal Methods of Software Design
  • CSC2104Formal Methods of Program Design

Projects Involved with:

    Service:

    Publications:


    2004:
    • E.C.R. Hehner. A Practical Theory of Programming, the second edition, Springer-Verlag, New York, 2004
      PS PDF Abstract
    • E.C.R.Hehner. ``Probabilistic Predicative Programming'', in Proceedings of Mathematics of Program Construction, Stirling Scotland, July, 2004
      PS PDF Abstract
    • E.C.R.Hehner. `` from Boolean Algebra to Unified Algebra'', the Mathematical Intelligencer, vol. 26, pp. 3-19, 2004
      PS PDF Abstract
    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
      PS PDF Abstract
    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
      PS PDF Abstract
    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
      PS PDF Abstract
    • E.C.R.Hehner. ``Variables and Scopes Considered Formally'', Information Processing Letters, vol. 79, pp. 33-38, 2001
      PS PDF Abstract
    previous:
    • E.C.R.Hehner. ``Formalism and the Variable'', Millennial Perspectives in Computer Science Palgrave, pp. 147-156, 2000
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • E.C.R. Hehner. ``Specifications, Programs, and Total Correctness'', Science of Computer Programming, vol. 34, pp. 191-205, 1999
      PS PDF Abstract
    • E.C.R. Hehner. ``Formalization of Time and Space'', Formal Aspects of Computing, vol. 10, pp. 290-306, 1998
      PS PDF Abstract
    • E.C.R. Hehner. ``Abstractions of Time'', Prentice-Hall International Series in Computer Science, London, pp. 191-210, 1994
      PS PDF Abstract
    • E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, New York, 1993
      PS PDF Abstract
    • T.S.Norvell and E.C.R.Hehner. ``Logical Specifications for Functional Programs'', in International Conference on Mathematics of Program Construction, Oxford, June, 1992
      PS PDF Abstract
    • E.C.R.Hehner. ``What's wrong with formal programming methods?'', in Conference on Computing and Information (keynote address, invited), Ottawa, May, 1991
      PS PDF Abstract
    • E.C.R. Hehner. ``Programming from Specifications'', Science of Computer Programming, vol. 16, pp. 283-285, October, 1991
      PS PDF Abstract
    • E.C.R. Hehner. ``a Practical Theory of Programming'', Science of Computer Programming, vol. 14, pp. 133-158, 1990
      PS PDF Abstract
    • E.C.R.Hehner. `` Beautifying Goedel'', chapter 18 in Beauty is our Business, New York, pp. 163-172, 1990
      PS PDF Abstract
    • E.C.R. Hehner. ``Real-Time Programming'', Information Processing Letters, vol. 30, pp. 51-56, 1989
      PS PDF Abstract
    • E.C.R.Hehner. ``Termination is Timing'', in International Conference on Mathematics of Program Construction (opening address, invited), Enschede, June, 1989
      PS PDF Abstract
    • E.C.R. Hehner and A.J.Malton. ``Termination Conventions and Comparative Semantics'', Acta Informatica, vol. 25, pp. 1-14, January, 1988
      PS PDF Abstract
    • E.C.R.Hehner, L.E.Gupta, and A.J.Malton. ``Predicative Methodology'', Acta Informatica, vol. 23, pp. 487-505, 1986
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • E.C.R.Hehner. ``Predicative Programming, Part I'', Communications ACM, vol. 27, pp. 134-143, February, 1984
      PS PDF Abstract
    • E.C.R.Hehner. ``Predicative Programming, Part II'', Communications ACM, vol. 27, pp. 144-151, February, 1984
      PS PDF Abstract
    • E.C.R.Hehner. ``the Logic of Programming'', Prentice-Hall International Series in Computer Science, London, pp. 361 pages, 1984
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • E.C.R.Hehner. ``Predicate Semantics'', in 17th Princeton-Hopkins Conference on Information Science and Systems, Baltimore, pp. 322, March, 1983
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • C.Lengauer and E.C.R.Hehner. ``a Methodology for Programming with Concurrency'', in CONPAR 81, Nurnberg, June 10-12, 1981
      PS PDF Abstract
    • E.C.R.Hehner and R.K.Shyamasundar. ``an Implementation of P and V'', Information Processing Letters, vol. 12, pp. 196-198, August, 1981
      PS PDF Abstract
    • E.C.R.Hehner. ``Bunch Theory: a Simple Set Theory for Computer Science'', Information Processing Letters, vol. 12, pp. 26-30, Februay, 1981
      PS PDF Abstract
    • E.C.R.Hehner. `On the Design of Concurrent Programs'', INFOR, vol. 18, pp. 289-299, November, 1980
      PS PDF Abstract
    • E.C.R.Hehner. ``Do Considered od: a Contribution to the Programming Calculus'', Acta Informatica, vol. 11, pp. 287-304, 1979
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • 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
      PS PDF Abstract
    • E.C.R.Hehner. ``On Removing the Machine from the Language'', Acta Informatica, vol. 10, pp. 229-243, 1978
      PS PDF Abstract
    • E.C.R.Hehner. ``Information Content of Programs and Operation Encoding'', Journal of the ACM, vol. 24, pp. 290-297, April, 1977
      PS PDF Abstract
    • E.C.R.Hehner. ``Structuring'', in Proceedings of ACM Conference on Principles of Programming Languages, Santa Monica, pp. 201-205, January, 1977
      PS PDF Abstract
    • E.C.R.Hehner. ``Language-Directed Representation of Machine Instructions'', in Proceedings of IEEE COMPCON, San Francisco, pp. 99-102, 1976
      PS PDF Abstract
    • E.C.R.Hehner. ``Computer Design to Minimize Memory Requirements'', Computer, vol. 9, pp. 65-70, August, 1976
      PS PDF Abstract

    For questions and suggestions contact the webmaster
    Formal Methods Group, CS Department, University of Toronto 2004