E.C.R.Hehner Publications List

E.C.R.Hehner: a Practical Theory of Programming, Springer, New York, 1993; the current edition, 6+247 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: ProTem, a programming system, first designed in 1987, continually updated, and its implementation
B.Dongol, E.C.R.Hehner, et al.: On Formal Methods Thinking in Computer Science Education, Formal Aspects of Computing v.37 n.1, 2024 June 1
E.C.R.Hehner: Time Dilation, 2024 March 20
E.C.R.Hehner: a Testimonial to Cliff Jones, 2024 January 7, in A.Cavalcanti, J.Baxter (editors): the Practice of Formal Methods: Essays in Honour of Cliff Jones, Springer LNCS 14780, 2024 September 4
E.C.R.Hehner: Turing Machine Analysis, unfinished, 2023 December 24
E.C.R.Hehner: the Nature of Science, 2023 April 4
E.C.R.Hehner: a Conversation between a Platonist and a Formalist, 2022 July 21
E.C.R.Hehner, W.J.Stoddart: the Halting Game, 2022 February 22
E.C.R.Hehner: Boundary Algebra, 2021 July 20
E.C.R.Hehner: Com: compatible computers and communicators, 2021 April 25
E.C.R.Hehner: a Tribute to Edsger Dijkstra, 2021 January 19, published in K.R.Apt, C.A.R.Hoare: Edsger W. Dijkstra: a Commemoration, 2021 March 30
E.C.R.Hehner: Better Speed Control, 2020 November 22
E.C.R.Hehner: Halting, the Power of Mathematics, and Religion, 7 pages, 2020 September 20
E.C.R.Hehner: Epimenides, Gödel, Turing: an Eternal Gölden Twist, Springer Nature Computer Science v.1 p.308, 2020 September. Here is a video. Here is the SNCS version.
E.C.R.Hehner: the Halting Program, 3 pages, 2020 August 5
E.C.R.Hehner: Number Representation, 2019 May 6. Here is a video.
E.C.R.Hehner: a Note on an Equation due to Euler, 2019 April 21
E.C.R.Hehner: Gender Equality, 2019 April 11
E.C.R.Hehner: Big Numbers, 2019 February 9
E.C.R.Hehner: Halting According to aPToP, 7 pages, 2019 January 14
E.C.R.Hehner: a Theory of Lazy Imperative Timing, REFINE 2018, Oxford UK, 2018 July 18, and Electronic Proceedings in Theoretical Computer Science v.282 p.1-9, 2018 October
E.C.R.Hehner: Romantic Availability, 2018 August 29
E.C.R.Hehner: Sunk Cost Fallacy, 2018 May 12
E.C.R.Hehner: the End of Evolution, 2018 January 26
E.C.R.Hehner: Advice to a Radical Thinker, 2017 December 1
E.C.R.Hehner: Objective and Subjective Specifications, 6 pages, 2017 July 10, WST Workshop on Termination, Oxford, 2018 July 18
E.C.R.Hehner: What is a Procedure?, Present and Ulterior Software Engineering, M.Mazzara, B.Meyer editors, Springer, 2017
E.C.R.Hehner: Arguing Atheism, 2017 May 30
E.C.R.Hehner: Digital Circuit Design, 2017 February 7; This online short course is based on the paper.
E.C.R.Hehner: Diagonalize Then Reduce, 2 pages, 2016 November 8
E.C.R.Hehner: a Tale of Two Turing Machines, 2 pages, 2016 October 20
E.C.R.Hehner: Teaching Tactics, 2016 July 27
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. Here is a video.
E.C.R.Hehner: the Halting Collection, 10 pages, 2015 January 4
E.C.R.Hehner: Observations on the Halting Problem, 5 pages, 2014 December 23
E.C.R.Hehner: Programs, Specifications, and Halting, 5 pages, 2014 November 17
E.C.R.Hehner: Epimenides, Gödel, Turing: an Eternal Gölden Twist, 6 pages, 2014 August 29
E.C.R.Hehner: Left-handed Homosexuals, 2014 May 4
E.C.R.Hehner: Halting Problem, 3 pages, 2014 January 29
E.C.R.Hehner: How to Compute Halting, 5 pages, 2014 January 2
E.C.R.Hehner: Grammatical Annoyances, 2013 October 18
E.C.R.Hehner: Scientific Publication, 2013 August 24 (published in University Affairs Magazine 2014 June)
E.C.R.Hehner: Marriage, 2013 July 9
E.C.R.Hehner: the Computability Hierarchy, Advances in Computer Science and Engineering, v.10 n.2 p.123-131, 2013
E.C.R.Hehner: Reconstructing the Halting Problem, 5 pages, 2013 April 23
E.C.R.Hehner: Toward Democracy, 2013 April 19
E.C.R.Hehner: Abolish Political Parties, 2013 March 31
E.C.R.Hehner: Self, 2013 March 16
E.C.R.Hehner: the Size of a Set, 2013 January 25
E.C.R.Hehner: the Gambler and the Mathematician, 2011 November 15
E.C.R.Hehner: Problems with the Halting Problem, COMPUTING2011 Symposium on 75 years of Turing Machine and Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21 Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
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, B.Ballo, A.Tafliovich: the Netty Project, 2011-3-23
E.C.R.Hehner: a Probability Perspective, Formal Aspects of Computing, v.23 n.4 p.391-419, 2011. Here is a video.
E.C.R.Hehner: Cameras Everywhere, 2009 July 28
E.C.R.Hehner: Insurance and Gambling, 2009 June 13
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: Money and Taxes, 2009 March 9
E.C.R.Hehner: Portation, 1971-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
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
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
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. Here is a video.
E.C.R.Hehner, A.Y.C.Lai: Misra's Invariant Theorem, 2005 July 6
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. Here is a video.
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
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
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
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 and T.S. Norvell: Relational Arithmetic, 1997, unfinished
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: 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 CSRI-213, 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: the Meaning of Mathematics, 1986
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
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
E.C.R.Hehner, C.A.R.Hoare: Another Look at Communicating Processes, CSRG-TR134, University of Toronto, 1981 September
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 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; technical report CSRG-44, 1974 November
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