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. 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: 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 and an email debate
E.C.R.Hehner: Reconstructing the Halting Problem. This is a short version of "Problems with the Halting Problem". 2013 April 23
E.C.R.Hehner: Halting Problem. This is a very short version of "Problems with the Halting Problem". 2014 January 29
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: the Size of a Set, 2013 January 25
L.Naiman, E.C.R.Hehner: 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: 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, Grammatical Annoyances, 2013 October 18
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: Predicative Quantum 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.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, 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 Goedel, 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, 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: 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)
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 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: 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