Eric C. R. Hehner

53 papers A* 1A 1B 5C 2Journal 32Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Formal Methods Thinking in Computer Science Education.
Formal Aspects Comput.
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2020 J jnl
Epimenides, Gödel, Turing: An Eternal Gölden Twist.
SN Comput. Sci.
Eric C. R. Hehner
2018 — conf
A Theory of Lazy Imperative Timing.
Refine@FM
Eric C. R. Hehner
2017 — ch.
What Is a Procedure?
Present and Ulterior Software Engineering
Eric C. R. Hehner
2016 J jnl
A Tale of Two Turing Machines.
CoRR
Eric C. R. Hehner
2016 J jnl
Epimenides, Gödel, Turing: an Eternal Gölden Tangle.
CoRR
Eric C. R. Hehner
2016 J jnl
How to Compute Halting.
CoRR
Eric C. R. Hehner
2016 J jnl
Observations on the Halting Problem.
CoRR
Eric C. R. Hehner
2011 J jnl
A probability perspective.
Formal Aspects Comput.
Eric C. R. Hehner
2009 J jnl
Programming with Quantum Communication
CoRR
Anya Tafliovich, Eric C. R. Hehner
2009 — conf
Programming with Quantum Communication.
QAPL
Anya Tafliovich, Eric C. R. Hehner
2007 J jnl
Programming Telepathy: Implementing Quantum Non-Locality Games.
CoRR
Anya Tafliovich, Eric C. R. Hehner
2006 B conf
Quantum Predicative Programming.
MPC
Anya Tafliovich, Eric C. R. Hehner
2006 J jnl
Quantum Predicative Programming.
CoRR
Anya Tafliovich, Eric C. R. Hehner
2006 — conf
Retrospective and Prospective for Unifying Theories of Programming.
UTP
Eric C. R. Hehner
2006 B conf
Roadmap for enhanced languages and methods to aid verification.
GPCE
Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
2005 — conf
Specified Blocks.
VSTTE
Eric C. R. Hehner
2004 B conf
Probabilistic Predicative Programming.
MPC
Eric C. R. Hehner
2002 — conf
Theories, Implementations, and Transformations.
ZB
Eric C. R. Hehner, Ioannis T. Kassios
2001 J jnl
Variables and scopes considered formally.
Inf. Process. Lett.
Eric C. R. Hehner
1999 — conf
Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
World Congress on Formal Methods
Richard F. Paige, Eric C. R. Hehner
1999 — conf
Refinement Semantics and Loop Rules.
World Congress on Formal Methods
Eric C. R. Hehner, Andrew M. Gravell
1999 J jnl
Specifications, Programs, and Total Correctness.
Sci. Comput. Program.
Eric C. R. Hehner
1998 J jnl
Formalization of Time and Space.
Formal Aspects Comput.
Eric C. R. Hehner
1996 — conf
Boolean Formalism and Explanations.
AMAST
Eric C. R. Hehner
1993 — book
A Practical Theory of Programming.
Eric C. R. Hehner
1992 B conf
Logical Specifications for Functional Programs.
MPC
Theodore S. Norvell, Eric C. R. Hehner
1991 C conf
What's Wrong With Formal Programming Methods?
ICCI
Eric C. R. Hehner
1990 J jnl
A Practical Theory of Programming.
Sci. Comput. Program.
Eric C. R. Hehner
1989 J jnl
Real-Time Programming.
Inf. Process. Lett.
Eric C. R. Hehner
1989 B conf
Termination is Timing.
MPC
Eric C. R. Hehner
1988 J jnl
Erratum: Predicative Methodology.
Acta Informatica
Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton
1988 J jnl
Termination Conventions and Comparative Semantics.
Acta Informatica
Eric C. R. Hehner, Andrew J. Malton
1986 J jnl
Predicative Methodology.
Acta Informatica
Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton
1985 — book
The logic of programming.
Eric C. R. Hehner
1984 J jnl
Predicative Programming, Part I.
Commun. ACM
Eric C. R. Hehner
1984 J jnl
Predicative Programming, Part II.
Commun. ACM
Eric C. R. Hehner
1983 J jnl
A More Complete Model of Communicating Processes.
Theor. Comput. Sci.
Eric C. R. Hehner, C. A. R. Hoare
1983 J jnl
Programming with Grammars: An Exercise in Methodology-Directed Language Design.
Comput. J.
Eric C. R. Hehner, Brad A. Silverberg
1983 A conf
Teaching formal methods for program development and verification (Panel Session).
SIGCSE
Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner
1982 J jnl
A Methodology for Programming with Concurrency: An Informal Presentation.
Sci. Comput. Program.
Christian Lengauer, Eric C. R. Hehner
1982 J jnl
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory".
IEEE Trans. Software Eng.
R. Nigel Horspool, Eric C. R. Hehner
1981 — conf
A methodolgy for programming with concurrency.
CONPAR
Christian Lengauer, Eric C. R. Hehner
1981 J jnl
An Implementation of P and V.
Inf. Process. Lett.
Eric C. R. Hehner, R. K. Shyamasundar
1981 J jnl
Bunch Theory: A Simple Set Theory for Computer Science.
Inf. Process. Lett.
Eric C. R. Hehner
1980 J jnl
Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic.
SIAM J. Comput.
Eric C. R. Hehner, R. Nigel Horspool
1979 J jnl
A New Representation of the Rational Numbers for Fast Easy Arithmetic.
SIAM J. Comput.
Eric C. R. Hehner, R. Nigel Horspool
1979 J jnl
do Considered od: A Contribution to the Programming Calculus.
Acta Informatica
Eric C. R. Hehner
1978 C conf
Exact arithmetic using a variable-length P-ADIC representation.
IEEE Symposium on Computer Arithmetic
R. Nigel Horspool, Eric C. R. Hehner
1978 J jnl
On Removing the Machine from the Language.
Acta Informatica
Eric C. R. Hehner
1977 J jnl
Information Content of Programs and Operation Encoding.
J. ACM
Eric C. R. Hehner
1977 A* conf
Structuring.
POPL
Eric C. R. Hehner
1976 J jnl
Special Feature: Computer Design to Minimize Memory Requirements.
Computer
Eric C. R. Hehner