E.C.R.Hehner Publications List

E.C.R.Hehner: a Practical Theory of Programming, Springer, New York, 1993; the current edition, 6+244 pages, can be downloaded FREE right here. Also published in Chinese by Science Press, Beijing, 2010, and online. The course Formal Methods of Software Design based on the book is available online free.
E.C.R.Hehner: a Theory of Lazy Imperative Timing, REFINE 2018, Oxford UK, 2018 July 18
E.C.R.Hehner: Digital Circuit Design, 2017 February 7; This online short course is based on the paper.
E.C.R.Hehner: What is a Procedure?, Present and Ulterior Software Engineering, M.Mazzara, B.Meyer editors, Springer, 2017
E.C.R.Hehner: Concurrency, invited paper at a celebration of the work of Jayadev Misra on the occasion of his retirement, 2016 April 29
E.C.R.Hehner: several papers on the Halting Problem: Epimenides, Gödel, Turing: an Eternal Gölden Tangle, 6 pages, 2014 August 29; How to Compute Halting, 5 pages, 2014 January 2; Observations on the Halting Problem, 5 pages, 2014 December 23; a Tale of Two Turing Machines, 2 pages, 2016 October 20; Objective and Subjective Specifications, 4 pages, 2017 April 11, WST Workshop on Termination, Oxford, 2018 July 18
E.C.R.Hehner: the Size of a Set, 2013 January 25
E.C.R.Hehner, L.Naiman: Netty: a Prover's Assistant, COMPUTATION TOOLS 2011: the second international conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, Rome, 2011 September 25-30
E.C.R.Hehner, R.Will, L.Naiman, D.Kordalewski: the Netty Project, work in progress
E.C.R.Hehner: a Probability Perspective, Formal Aspects of Computing, v.23 n.4 p.391-419, 2011 and SpringerLink
E.C.R.Hehner: Essays: the Meaning of Mathematics, 1986; Portation, 2009 February 14; Money and Taxes, 2009 March 9; Insurance and Gambling, 2009 June 13; Cameras Everywhere, 2009 July 28; the Gambler and the Mathematician, 2011 November 15; Self, 2013 March 16; Abolish Political Parties, 2013 March 31; Toward Democracy, 2013 April 19; Marriage, 2013 July 9; Scientific Publication, 2013 August 24 (published in University Affairs Magazine 2014 June); Grammatical Annoyances, 2013 October 18; Left-handed Homosexuals, 2014 May 4; Teaching Tactics, 2016 July 27; Arguing Atheism, 2017 May 30; Advice to a Radical Thinker, 2017 December 1; the End of Evolution, 2018 January 26; Sunk Cost Fallacy, 2018 May 12
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
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: Quantum Predicative Programming, conference on 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.Leavens, 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, conference on 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 version with so many editing and typesetting errors that it is unreadable 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, 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, 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 Gödel, chapter 18 in Feijen, vanGasteren, Gries, Misra (ed.): Beauty is our Business, Springer-Verlag silver series, New York, 1990, p.163-172 translated into a Spanish version by Pablo Ventura
E.C.R.Hehner: Real-Time Programming, Information Processing Letters, v.30, 1989 January, p.51-56
E.C.R.Hehner: Termination is Timing, 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, T.S.Norvell: ProTem: a Programming System, technical report CSRG213, 1988 September, and current version
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, Erratum v.26, n.3, 1988
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: Anti Counterfactuals, opinion, 1985 May 13
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; published previously as "Another Look at Communicating Processes", CSRG-TR134, University of Toronto, 1981 September
E.C.R.Hehner: Predicate Semantics, 17th Princeton-Hopkins conference on Information Science and Systems, Baltimore, 1983 March 24, p.322 (invited)
S.L.Gerhart, E.C.R.Hehner, H.D.Mills: Teaching Formal Methods for Program Development and Verification, panel session in SIGCSE83, ACM SIGCSE Bulletin, Proceedings of the 14th SIGCSE technical symposium on computer science education, v.15 n.1, 1983 February
R.N.S.Horspool, E.C.R.Hehner: Comments on a method for representing data items of unlimited length in a computer memory, IEEE Transactions on Software Engineering, v.8 n.6, 1982 November
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; published previously as CSRG-TR102, University of Toronto, 1979 July
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 and Springer Link and the 1976 technical report
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, and at Springer
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, ACM conference on Principles of Programming Languages, Santa Monica, 1977 January, p.201-205
E.C.R.Hehner: Language-Directed Representation of Machine Instructions, 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: Towards an Ideal Programming Language, CSRG-TR57, University of Toronto, 1975 July
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: Applications of Group Theory to Quantum Mechanics and Particle Symmetries, BSc thesis, Carleton University, 1969

author's website