E.C.R.Hehner Publications List

E.C.R.Hehner: a Practical Theory of Programming, Springer, New York, 1993; the current edition, 6+236 pages, can be downloaded FREE right here
E.C.R.Hehner: Essays: Portation, 2009 February 14; Money and Taxes, 2009 March 9; Insurance and Gambling, 2009 June 13; Cameras Everywhere, 2009 July 28
E.C.R.Hehner: a Probability Perspective, Formal Aspects of Computing, submitted 2009
A.Tafliovich, E.C.R.Hehner: Programming with Quantum Communication, seventh Workshop on Quantitative Aspects of Programming Languages, York UK, 2009 March 28-29. A slightly different version occurs in Elsevier's Electronic Notes in Theoretical Computer Science, 2009
E.C.R.Hehner: Incomputable Indeed, 2007 and comments on it
A.Tafliovich, E.C.R.Hehner: Programming Telepathy: Implementing Quantum Non-locality Games, tenth Brazilian Symposium on Formal Methods, Ouro Preto Brazil, 2007 August 29-31. A slightly different version occurs in Elsevier's Electronic Notes in Theoretical Computer Science, 2009
E.C.R.Hehner: Unified Algebra, International Journal of Mathematical Sciences v.1 n.1 p.20-37, 2007
A.Tafliovich, E.C.R.Hehner: Predicative Quantum Programming, Mathematics of Program Construction, Kuressaare Estonia, 2006 July 3-5 and Springer LNCS 4014 p.433-454
E.C.R.Hehner: Retrospective and Prospective for Unifying Theories of Programming, symposium on Unifying Theories of Programming, Darlington UK, 2006 February 5-7, and Springer LNCS 4010 p.1-17
G.T.Lautens, E.C.R.Hehner, et al.: Roadmap for Enhanced Languages and Methods to Aid Verification, Generative Programming and Component Engineering, Portland OR USA, 2006 October 22-26
E.C.R.Hehner: Specified Blocks, IFIP working conference on Verified Software: Theories, Tools, and Experiments, Zurich Switzerland, 2005 October 10-14, and Springer LNCS 4171 p.384-391, 2008
E.C.R.Hehner: Probabilistic Predicative Programming, Mathematics of Program Construction, Stirling Scotland, 2004 July 12-14, and Springer LNCS 3125 p.169-185
E.C.R.Hehner: from Boolean Algebra to Unified Algebra, the Mathematical Intelligencer v.26 n.2 p.3-19, 2004. An earlier unreadable version filled with editing and typesetting errors appears in Journal of Computers in Mathematics and Science Teaching, v.19 n.1 p.59-86, 2000
E.C.R.Hehner: some math advice to my daughter, 2004 February 19
E.C.R.Hehner, T.S.Norvell, R.F.Paige: High-Level Circuit Design, chapter 18 in Programming Methodology, p.381-412, Springer, 2003
E.C.R.Hehner, I.T.Kassios: Theories, Implementations, and Transformations, ZB2002 second annual Z and B conference, Grenoble France, 2002 January 23-25, and Springer LNCS 2272
E.C.R.Hehner, T.S.Norvell: program2circuit, IEEE Conference on Circuits, Systems, Communications, and Computers, Crete, 2001 July 8-14, and chapter in Advances in Systems Science: Measurement, Circuits and Control WSES Press Electrical and Computer Engineering Series, p.346-353, 2001
E.C.R.Hehner: Variables and Scopes Considered Formally, Information Processing Letters, v.79 p.33-38, 2001
E.C.R.Hehner: Formalism and the Variable, Symposium on the retirememt of Tony Hoare, Oxford, 1999 September, and chapter in Millennial Perspectives in Computer Science Palgrave, p.147-156, 2000
E.C.R.Hehner, A.M.Gravell: Refinement Semantics and Loop Rules, FM'99 World Congress on Formal Methods, Toulouse France, 1999, and Springer LNCS 1709 p.1497-1510
R.F.Paige, E.C.R.Hehner: Bunches for Object-Oriented, Concurrent, and Real-Time Specification, FM'99 World Congress on Formal Methods, Toulouse France, 1999, and Springer LNCS 1708 p.530-550
E.C.R.Hehner: Specifications, Programs, and Total Correctness, Science of Computer Programming, v.34 p.191-205, 1999
E.C.R.Hehner: Formalization of Time and Space, Formal Aspects of Computing, v.10 p.290-306, 1998
E.C.R.Hehner: Boolean Formalism and Explanations, invited lecture at AMAST, Munich, 1996 July
E.C.R.Hehner: Abstractions of Time, chapter 12 in a Classical Mind, edited by A.W. Roscoe, Prentice-Hall International Series in Computer Science, London, 1994, p.191-210
T.S.Norvell, E.C.R.Hehner: Logical Specifications for Functional Programs, International Conference on Mathematics of Program Construction, Oxford, 1992 June; and Springer LNCS 699 p.269-290, 1993
E.C.R.Hehner: What's wrong with formal programming methods?, Conference on Computing and Information, Ottawa, 1991 May (keynote address, invited); chapter in Advances in Computing and Information, Lecture Notes in Computer Science v.497, Springer, Berlin, 1991, p.2-23
E.C.R.Hehner: "Programming from Specifications", book review in Science of Computer Programming v.16 n.3, 1991 October, p.283-285
E.C.R.Hehner: a Practical Theory of Programming, Science of Computer Programming, v.14, n.2&3, 1990, p.133-158 (invited)
E.C.R.Hehner and T.S. Norvell: Relational Arithmetic, 1997, unfinished
E.C.R.Hehner: Beautifying Goedel, chapter 18 in Feijen, vanGasteren, Gries, Misra (ed.): Beauty is our Business, Springer-Verlag silver series, New York, 1990, p.163-172
E.C.R.Hehner: Real-Time Programming, Information Processing Letters, v.30, 1989 January, p.51-56
E.C.R.Hehner: Termination is Timing, International Conference on Mathematics of Program Construction, Enschede, The Netherlands, 1989 June (opening address, invited); chapter in van de Snepscheut(ed.): Mathematics of Program Construction, Lecture Notes in Computer Science v.375, Springer-Verlag, Berlin, 1989, p.36-47
E.C.R.Hehner, A.J.Malton: Termination Conventions and Comparative Semantics, Acta Informatica, v.25, n.1, 1988 January, p.1-14
E.C.R.Hehner, L.E.Gupta, A.J.Malton: Predicative Methodology, Acta Informatica, v.23, n.5, 1986, p.487-505
E.C.R.Hehner: Programming Based on Logic and Logic Based on Programming, 71 pages, four chapters in Broy (ed.): The Logic of Programming and Calculi of Discrete Design, NATO Advanced Studies Institute Series, Springer-Verlag, Heidelberg, 1986
E.C.R.Hehner: "Predicative Programming, Part I", Communications ACM, v.27, n.2, 1984 February, p.134-143
E.C.R.Hehner: "Predicative Programming, Part II", Communications ACM , v.27, n.2, 1984 February, p.144-151
E.C.R.Hehner: the Logic of Programming, Prentice-Hall International Series in Computer Science (ed. C.A.R.Hoare), London, 1984, 361 pages
E.C.R.Hehner, B.A.Silverberg: Programming with Grammars: an Exercise in Methodology-Directed Language Design, the Computer Journal, v.26, n.3, 1983, p.277-281
E.C.R.Hehner, C.A.R.Hoare: a More Complete Model of Communicating Processes, Theoretical Computer Science v.26, 1983 September, p.105-120
E.C.R.Hehner: Predicate Semantics, 17th Princeton-Hopkins Conference on Information Science and Systems, Baltimore, 1983 March 24, p.322 (invited)
C.Lengauer, E.C.R.Hehner: a Methodology for Programming with Concurrency: an Informal Presentation, Science of Computer Programming 2, 1982, p.1-8
C.Lengauer, E.C.R.Hehner: a Methodology for Programming with Concurrency, CONPAR 81, Nurnberg, June 10-12, 1981 and Lecture Notes in Computer Science 111, W.Handler(ed.), Springer-Verlag, 1981 June, p.259-270
E.C.R.Hehner, R.K.Shyamasundar: an Implementation of P and V, Information Processing Letters, v.12, n.4, 1981 August, p.196-198
E.C.R.Hehner: Bunch Theory: a Simple Set Theory for Computer Science, Information Processing Letters, v.12, n.1, 1981 Februay, p.26-30
E.C.R.Hehner: on the Design of Concurrent Programs, INFOR, v.18, n.4, 1980 November, p.289-299
E.C.R.Hehner: do considered od: a Contribution to the Programming Calculus, Acta Informatica, v.11, 1979, p.287-304
E.C.R.Hehner, R.N.S.Horspool: a New Representation of the Rational Numbers for Fast Easy Arithmetic, SIAM Journal on Computation, v.8, n.2, 1979 May, p.124-134
R.N.S.Horspool, E.C.R.Hehner: Exact Arithmetic Using a Variable-Length P-adic Representation, Fourth IEEE Symposium on Computer Arithmetic, Santa-Monica, 1978 October, p.10-14
E.C.R.Hehner: on Removing the Machine from the Language, Acta Informatica, v.10, n.3, 1978, p.229-243
E.C.R.Hehner: Information Content of Programs and Operation Encoding, Journal of the ACM, v.24, n.2, 1977 April, p.290-297
E.C.R.Hehner: Structuring, Proc. ACM Conference on Principles of Programming Languages, Santa Monica, 1977 January, p.201-205
E.C.R.Hehner: Language-Directed Representation of Machine Instructions, Proc. IEEE COMPCON, San Francisco, 1976 Spring, p.99-102
E.C.R.Hehner: Computer Design to Minimize Memory Requirements, Computer, v.9, n.9, 1976 August, p.65-70
E.C.R.Hehner: Matching Program and Data Representation to a Computing Environment, PhD thesis, University of Toronto, 1974
E.C.R.Hehner: the Definition of Random Sequence, MSc thesis, University of Toronto, 1970
E.C.R.Hehner: Particle Symmetries, BSc thesis, Carleton University, 1969