Eric C. R. Hehner

Publication Activity (10 Years)

Years Active: 1976-2020
Publications (10 Years): 6

Top Topics

Social Bookmarking

Theoretical Framework

Machine Intelligence

Top Venues

SN Comput. Sci.

Publications

Eric C. R. Hehner
Epimenides, Gödel, Turing: An Eternal Gölden Twist. SN Comput. Sci. 1 (6) (2020)
Eric C. R. Hehner
A Theory of Lazy Imperative Timing. Refine@FM (2018)
Eric C. R. Hehner
Observations on the Halting Problem. CoRR (2016)
Eric C. R. Hehner
A Tale of Two Turing Machines. CoRR (2016)
Eric C. R. Hehner
Epimenides, Gödel, Turing: an Eternal Gölden Tangle. CoRR (2016)
Eric C. R. Hehner
How to Compute Halting. CoRR (2016)
Eric C. R. Hehner
A probability perspective. Formal Aspects Comput. 23 (4) (2011)
Anya Tafliovich, Eric C. R. Hehner
Programming with Quantum Communication CoRR (2009)
Anya Tafliovich, Eric C. R. Hehner
Programming with Quantum Communication. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Anya Tafliovich, Eric C. R. Hehner
Programming Telepathy: Implementing Quantum Non-Locality Games. CoRR (2007)
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
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Anya Tafliovich, Eric C. R. Hehner
Quantum Predicative Programming. MPC (2006)
Anya Tafliovich, Eric C. R. Hehner
Quantum Predicative Programming. CoRR (2006)
Eric C. R. Hehner
Retrospective and Prospective for Unifying Theories of Programming. UTP (2006)
Eric C. R. Hehner
Specified Blocks. VSTTE (2005)
Eric C. R. Hehner
Probabilistic Predicative Programming. MPC (2004)
Eric C. R. Hehner, Ioannis T. Kassios
Theories, Implementations, and Transformations. ZB (2002)
Eric C. R. Hehner
Variables and scopes considered formally. Inf. Process. Lett. 79 (1) (2001)
Eric C. R. Hehner, Andrew M. Gravell
Refinement Semantics and Loop Rules. World Congress on Formal Methods (1999)
Richard F. Paige, Eric C. R. Hehner
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods (1999)
Eric C. R. Hehner
Specifications, Programs, and Total Correctness. Sci. Comput. Program. 34 (3) (1999)
Eric C. R. Hehner
Formalization of Time and Space. Formal Aspects Comput. 10 (3) (1998)
Eric C. R. Hehner
Boolean Formalism and Explanations. AMAST (1996)
Theodore S. Norvell, Eric C. R. Hehner
Logical Specifications for Functional Programs. MPC (1992)
Eric C. R. Hehner
What's Wrong With Formal Programming Methods? ICCI (1991)
Eric C. R. Hehner
A Practical Theory of Programming. Sci. Comput. Program. 14 (2-3) (1990)
Eric C. R. Hehner
Real-Time Programming. Inf. Process. Lett. 30 (1) (1989)
Eric C. R. Hehner
Termination is Timing. MPC (1989)
Eric C. R. Hehner, Andrew J. Malton
Termination Conventions and Comparative Semantics. Acta Informatica 25 (1) (1988)
Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton
Erratum: Predicative Methodology. Acta Informatica 26 (3) (1988)
Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton
Predicative Methodology. Acta Informatica 23 (5) (1986)
Eric C. R. Hehner
Predicative Programming, Part I. Commun. ACM 27 (2) (1984)
Eric C. R. Hehner
Predicative Programming, Part II. Commun. ACM 27 (2) (1984)
Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner
Teaching formal methods for program development and verification (Panel Session). SIGCSE (1983)
Eric C. R. Hehner, Brad A. Silverberg
Programming with Grammars: An Exercise in Methodology-Directed Language Design. Comput. J. 26 (3) (1983)
Eric C. R. Hehner, C. A. R. Hoare
A More Complete Model of Communicating Processes. Theor. Comput. Sci. 26 (1983)
R. Nigel Horspool, Eric C. R. Hehner
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory". IEEE Trans. Software Eng. 8 (6) (1982)
Christian Lengauer, Eric C. R. Hehner
A Methodology for Programming with Concurrency: An Informal Presentation. Sci. Comput. Program. 2 (1) (1982)
Eric C. R. Hehner
Bunch Theory: A Simple Set Theory for Computer Science. Inf. Process. Lett. 12 (1) (1981)
Christian Lengauer, Eric C. R. Hehner
A methodolgy for programming with concurrency. CONPAR (1981)
Eric C. R. Hehner, R. K. Shyamasundar
An Implementation of P and V. Inf. Process. Lett. 12 (4) (1981)
Eric C. R. Hehner, R. Nigel Horspool
Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic. SIAM J. Comput. 9 (1) (1980)
Eric C. R. Hehner
do Considered od: A Contribution to the Programming Calculus. Acta Informatica 11 (1979)
Eric C. R. Hehner, R. Nigel Horspool
A New Representation of the Rational Numbers for Fast Easy Arithmetic. SIAM J. Comput. 8 (2) (1979)
R. Nigel Horspool, Eric C. R. Hehner
Exact arithmetic using a variable-length P-ADIC representation. IEEE Symposium on Computer Arithmetic (1978)
Eric C. R. Hehner
On Removing the Machine from the Language. Acta Informatica 10 (1978)
Eric C. R. Hehner
Structuring. POPL (1977)
Eric C. R. Hehner
Information Content of Programs and Operation Encoding. J. ACM 24 (2) (1977)
Eric C. R. Hehner
Special Feature: Computer Design to Minimize Memory Requirements. Computer 9 (8) (1976)