| 2006 |
|---|
| 35 | EE | 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: 221-236 |
| 34 | EE | Anya Tafliovich,
Eric C. R. Hehner:
Quantum Predicative Programming.
MPC 2006: 433-454 |
| 33 | EE | Eric C. R. Hehner:
Retrospective and Prospective for Unifying Theories of Programming.
UTP 2006: 1-17 |
| 2005 |
|---|
| 32 | EE | Eric C. R. Hehner:
Specified Blocks.
VSTTE 2005: 384-391 |
| 2004 |
|---|
| 31 | EE | Eric C. R. Hehner:
Probabilistic Predicative Programming.
MPC 2004: 169-185 |
| 2002 |
|---|
| 30 | EE | Eric C. R. Hehner,
Ioannis T. Kassios:
Theories, Implementations, and Transformations.
ZB 2002: 1-21 |
| 2001 |
|---|
| 29 | EE | Eric C. R. Hehner:
Variables and scopes considered formally.
Inf. Process. Lett. 79(1): 33-38 (2001) |
| 1999 |
|---|
| 28 | EE | Eric C. R. Hehner,
Andrew M. Gravell:
Refinement Semantics and Loop Rules.
World Congress on Formal Methods 1999: 1497-1510 |
| 27 | EE | Richard F. Paige,
Eric C. R. Hehner:
Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
World Congress on Formal Methods 1999: 530-550 |
| 26 | | Eric C. R. Hehner:
Specifications, Programs, and Total Correctness.
Sci. Comput. Program. 34(3): 191-205 (1999) |
| 1998 |
|---|
| 25 | EE | Eric C. R. Hehner:
Formalization of Time and Space.
Formal Asp. Comput. 10(3): 290-306 (1998) |
| 1996 |
|---|
| 24 | | Eric C. R. Hehner:
Boolean Formalism and Explanations.
AMAST 1996: 351-374 |
| 1992 |
|---|
| 23 | | Theodore S. Norvell,
Eric C. R. Hehner:
Logical Specifications for Functional Programs.
MPC 1992: 269-290 |
| 1991 |
|---|
| 22 | | Eric C. R. Hehner:
What's Wrong With Formal Programming Methods?
ICCI 1991: 2-23 |
| 1990 |
|---|
| 21 | | Eric C. R. Hehner:
A Practical Theory of Programming.
Sci. Comput. Program. 14(2-3): 133-158 (1990) |
| 1989 |
|---|
| 20 | | Eric C. R. Hehner:
Termination is Timing.
MPC 1989: 36-47 |
| 19 | | Eric C. R. Hehner:
Real-Time Programming.
Inf. Process. Lett. 30(1): 51-56 (1989) |
| 1988 |
|---|
| 18 | | Eric C. R. Hehner,
Lorene E. Gupta,
Andrew J. Malton:
Erratum: Predicative Methodology.
Acta Inf. 26(3): 285 (1988) |
| 1987 |
|---|
| 17 | | Eric C. R. Hehner,
Andrew J. Malton:
Termination Conventions and Comparative Semantics.
Acta Inf. 25(1): 1-14 (1987) |
| 1986 |
|---|
| 16 | | Eric C. R. Hehner,
Lorene E. Gupta,
Andrew J. Malton:
Predicative Methodology.
Acta Inf. 23(5): 487-505 (1986) |
| 1984 |
|---|
| 15 | | Eric C. R. Hehner:
Predicative Programming, Part I.
Commun. ACM 27(2): 134-143 (1984) |
| 14 | | Eric C. R. Hehner:
Predicative Programming, Part II.
Commun. ACM 27(2): 144-151 (1984) |
| 1983 |
|---|
| 13 | | Eric C. R. Hehner,
Brad A. Silverberg:
Programming with Grammars: An Exercise in Methodology-Directed Language Design.
Comput. J. 26(3): 277-281 (1983) |
| 12 | | Eric C. R. Hehner,
C. A. R. Hoare:
A More Complete Model of Communicating Processes.
Theor. Comput. Sci. 26: 105-120 (1983) |
| 1982 |
|---|
| 11 | | 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): 620-621 (1982) |
| 10 | | Christian Lengauer,
Eric C. R. Hehner:
A Methodology for Programming with Concurrency: An Informal Presentation.
Sci. Comput. Program. 2(1): 1-18 (1982) |
| 1981 |
|---|
| 9 | | Christian Lengauer,
Eric C. R. Hehner:
A methodolgy for programming with concurrency.
CONPAR 1981: 259-270 |
| 8 | | Eric C. R. Hehner:
Bunch Theory: A Simple Set Theory for Computer Science.
Inf. Process. Lett. 12(1): 26-30 (1981) |
| 7 | | Eric C. R. Hehner,
R. K. Shyamasundar:
An Implementation of P and V.
Inf. Process. Lett. 12(4): 196-198 (1981) |
| 1980 |
|---|
| 6 | | Eric C. R. Hehner,
R. Nigel Horspool:
Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic.
SIAM J. Comput. 9(1): 217 (1980) |
| 1979 |
|---|
| 5 | | Eric C. R. Hehner:
do Considered od: A Contribution to the Programming Calculus.
Acta Inf. 11: 287-304 (1979) |
| 4 | | Eric C. R. Hehner,
R. Nigel Horspool:
A New Representation of the Rational Numbers for Fast Easy Arithmetic.
SIAM J. Comput. 8(2): 124-134 (1979) |
| 1978 |
|---|
| 3 | | Eric C. R. Hehner:
On Removing the Machine from the Language.
Acta Inf. 10: 229-243 (1978) |
| 1977 |
|---|
| 2 | | Eric C. R. Hehner:
Structuring.
POPL 1977: 201-205 |
| 1 | EE | Eric C. R. Hehner:
Information Content of Programs and Operation Encoding.
J. ACM 24(2): 290-297 (1977) |
