Eric C. R. Hehner

According to our database1, Eric C. R. Hehner
  • authored at least 48 papers between 1976 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
A Tale of Two Turing Machines.
CoRR, 2016

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

Observations on the Halting Problem.
CoRR, 2016

How to Compute Halting.
CoRR, 2016

2011
A probability perspective.
Formal Asp. Comput., 2011

2009
Programming with Quantum Communication.
Electr. Notes Theor. Comput. Sci., 2009

Programming with Quantum Communication
CoRR, 2009

2007
Programming Telepathy: Implementing Quantum Non-Locality Games.
CoRR, 2007

2006
Quantum Predicative Programming.
CoRR, 2006

Retrospective and Prospective for Unifying Theories of Programming.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Quantum Predicative Programming.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Specified Blocks.
Proceedings of the Verified Software: Theories, 2005

2004
Probabilistic Predicative Programming.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2002
Theories, Implementations, and Transformations.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001
Variables and scopes considered formally.
Inf. Process. Lett., 2001

1999
Specifications, Programs, and Total Correctness.
Sci. Comput. Program., 1999

Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
Proceedings of the FM'99 - Formal Methods, 1999

Refinement Semantics and Loop Rules.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Formalization of Time and Space.
Formal Asp. Comput., 1998

1996
Boolean Formalism and Explanations.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1993
A Practical Theory of Programming.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4419-8596-5, 1993

1992
Logical Specifications for Functional Programs.
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29, 1992

1991
What's Wrong With Formal Programming Methods?
Proceedings of the Advances in Computing and Information, 1991

1990
A Practical Theory of Programming.
Sci. Comput. Program., 1990

1989
Real-Time Programming.
Inf. Process. Lett., 1989

Termination is Timing.
Proceedings of the Mathematics of Program Construction, 1989

1988
Termination Conventions and Comparative Semantics.
Acta Inf., 1988

Erratum: Predicative Methodology.
Acta Inf., 1988

1986
Predicative Methodology.
Acta Inf., 1986

1985
The logic of programming.
Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-539966-8, 1985

1984
Predicative Programming, Part II.
Commun. ACM, 1984

Predicative Programming, Part I.
Commun. ACM, 1984

1983
A More Complete Model of Communicating Processes.
Theor. Comput. Sci., 1983

Programming with Grammars: An Exercise in Methodology-Directed Language Design.
Comput. J., 1983

1982
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory".
IEEE Trans. Software Eng., 1982

A Methodology for Programming with Concurrency: An Informal Presentation.
Sci. Comput. Program., 1982

1981
An Implementation of P and V.
Inf. Process. Lett., 1981

Bunch Theory: A Simple Set Theory for Computer Science.
Inf. Process. Lett., 1981

A methodolgy for programming with concurrency.
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.
SIAM J. Comput., 1980

1979
A New Representation of the Rational Numbers for Fast Easy Arithmetic.
SIAM J. Comput., 1979

do Considered od: A Contribution to the Programming Calculus.
Acta Inf., 1979

1978
On Removing the Machine from the Language.
Acta Inf., 1978

Exact arithmetic using a variable-length P-ADIC representation.
Proceedings of the 4th IEEE Symposium on Computer Arithmetic, 1978

1977
Information Content of Programs and Operation Encoding.
J. ACM, 1977

Structuring.
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.
IEEE Computer, 1976


  Loading...