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: Epimenides, Gödel, Turing: an Eternal Gölden Twist, Springer Nature Computer Science v.1 p.308, 2020 September. Here
is a video.
- E.C.R.Hehner: Number Representation, 2019 May 6. Here
is a video.
- 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: Objective and Subjective Specifications, WST Workshop on Termination, Oxford, 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. Here
is a video.
- E.C.R.Hehner: several papers on the Halting Problem:
Epimenides, Gödel, Turing: an Eternal Gölden Twist, 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. Here
is a video.
- 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. Here
is a video.
- 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;
Romantic Availability, 2018 August 29;
Big Numbers, 2019 February 9;
Gender Equality, 2019 April 11;
Better Speed Control, 2020 November 22
- 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. Here
is a video.
- 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: 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 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