Formal Methods
- 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: from Predicative Programming to aPToP, Formal Aspects of Computing, 2025 May 5
- 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: 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: 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: a Probability Perspective, Formal Aspects of Computing,
v.23 n.4 p.391-419, 2011. Here is a video.
- 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
- 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, I.T.Kassios:
Theories, Implementations, and Transformations, ZB2002 second
annual Z and B conference, Grenoble France, 2002 January 23-25
- 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: 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,
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: 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
- 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: Structuring, ACM conference on Principles of
Programming Languages, Santa Monica, 1977 January, p.201-205
author's website