Eric C. R. Hehner

According to our database, Eric C. R. Hehner authored at least 50 papers between 1976 and 2020.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2020

Epimenides, Gödel, Turing: An Eternal Gölden Twist.

Eric C. R. Hehner

SN Comput. Sci., 2020

2018

A Theory of Lazy Imperative Timing.

Eric C. R. Hehner

Proceedings of the Proceedings 18th Refinement Workshop, 2018

2017

What Is a Procedure?

Eric C. R. Hehner

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

A Tale of Two Turing Machines.

Eric C. R. Hehner

CoRR, 2016

Epimenides, Gödel, Turing: an Eternal Gölden Tangle.

Eric C. R. Hehner

CoRR, 2016

Observations on the Halting Problem.

Eric C. R. Hehner

CoRR, 2016

How to Compute Halting.

Eric C. R. Hehner

CoRR, 2016

2011

A probability perspective.

Eric C. R. Hehner

Formal Aspects Comput., 2011

2009

Programming with Quantum Communication.

Anya Tafliovich, Eric C. R. Hehner

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

2007

Programming Telepathy: Implementing Quantum Non-Locality Games.

Anya Tafliovich, Eric C. R. Hehner

CoRR, 2007

2006

Retrospective and Prospective for Unifying Theories of Programming.

Eric C. R. Hehner

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Quantum Predicative Programming.

Anya Tafliovich, Eric C. R. Hehner

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Roadmap for enhanced languages and methods to aid verification.

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

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Specified Blocks.

Eric C. R. Hehner

Proceedings of the Verified Software: Theories, 2005

2004

Probabilistic Predicative Programming.

Eric C. R. Hehner

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2002

Theories, Implementations, and Transformations.

Eric C. R. Hehner, Ioannis T. Kassios

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

Variables and scopes considered formally.

Eric C. R. Hehner

Inf. Process. Lett., 2001

1999

Specifications, Programs, and Total Correctness.

Eric C. R. Hehner

Sci. Comput. Program., 1999

Bunches for Object-Oriented, Concurrent, and Real-Time Specification.

Richard F. Paige, Eric C. R. Hehner

Proceedings of the FM'99 - Formal Methods, 1999

Refinement Semantics and Loop Rules.

Eric C. R. Hehner, Andrew M. Gravell

Proceedings of the FM'99 - Formal Methods, 1999

1998

Formalization of Time and Space.

Eric C. R. Hehner

Formal Aspects Comput., 1998

1996

Boolean Formalism and Explanations.

Eric C. R. Hehner

Proceedings of the Algebraic Methodology and Software Technology, 1996

1993

A Practical Theory of Programming.

Eric C. R. Hehner

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4419-8596-5, 1993

1992

Logical Specifications for Functional Programs.

Theodore S. Norvell, Eric C. R. Hehner

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1991

What's Wrong With Formal Programming Methods?

Eric C. R. Hehner

Proceedings of the Advances in Computing and Information, 1991

1990

A Practical Theory of Programming.

Eric C. R. Hehner

Sci. Comput. Program., 1990

1989

Real-Time Programming.

Eric C. R. Hehner

Inf. Process. Lett., 1989

Termination is Timing.

Eric C. R. Hehner

Proceedings of the Mathematics of Program Construction, 1989

1988

Termination Conventions and Comparative Semantics.

Eric C. R. Hehner, Andrew J. Malton

Acta Informatica, 1988

Erratum: Predicative Methodology.

Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton

Acta Informatica, 1988

1986

Predicative Methodology.

Eric C. R. Hehner, Lorene E. Gupta, Andrew J. Malton

Acta Informatica, 1986

1985

The logic of programming.

Eric C. R. Hehner

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-539966-8, 1985

1984

Predicative Programming, Part II.

Eric C. R. Hehner

Commun. ACM, 1984

Predicative Programming, Part I.

Eric C. R. Hehner

Commun. ACM, 1984

1983

A More Complete Model of Communicating Processes.

Eric C. R. Hehner, C. A. R. Hoare

Theor. Comput. Sci., 1983

Programming with Grammars: An Exercise in Methodology-Directed Language Design.

Eric C. R. Hehner, Brad A. Silverberg

Comput. J., 1983

Teaching formal methods for program development and verification (Panel Session).

Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1982

Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory".

R. Nigel Horspool, Eric C. R. Hehner

IEEE Trans. Software Eng., 1982

A Methodology for Programming with Concurrency: An Informal Presentation.

Christian Lengauer, Eric C. R. Hehner

Sci. Comput. Program., 1982

1981

An Implementation of P and V.

Eric C. R. Hehner, R. K. Shyamasundar

Inf. Process. Lett., 1981

Bunch Theory: A Simple Set Theory for Computer Science.

Eric C. R. Hehner

Inf. Process. Lett., 1981

A methodolgy for programming with concurrency.

Christian Lengauer, Eric C. R. Hehner

Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981

1980

Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic.

Eric C. R. Hehner, R. Nigel Horspool

SIAM J. Comput., 1980

1979

A New Representation of the Rational Numbers for Fast Easy Arithmetic.

Eric C. R. Hehner, R. Nigel Horspool

SIAM J. Comput., 1979

do Considered od: A Contribution to the Programming Calculus.

Eric C. R. Hehner

Acta Informatica, 1979

1978

On Removing the Machine from the Language.

Eric C. R. Hehner

Acta Informatica, 1978

Exact arithmetic using a variable-length P-ADIC representation.

R. Nigel Horspool, Eric C. R. Hehner

Proceedings of the 4th IEEE Symposium on Computer Arithmetic, 1978

1977

Information Content of Programs and Operation Encoding.

Eric C. R. Hehner

J. ACM, 1977

Structuring.

Eric C. R. Hehner

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

1976

Special Feature: Computer Design to Minimize Memory Requirements.

Eric C. R. Hehner

Computer, 1976