Eric C. R. Hehner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1977–2006
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | GPCE | 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 |
| 2006 | MPC | Quantum Predicative Programming. | Anya Tafliovich, Eric C. R. Hehner |
| 2004 | MPC | Probabilistic Predicative Programming. | Eric C. R. Hehner |
| 1999 | FM | Refinement Semantics and Loop Rules. | Eric C. R. Hehner, Andrew M. Gravell |
| 1999 | FM | Bunches for Object-Oriented, Concurrent, and Real-Time Specification. | Richard F. Paige, Eric C. R. Hehner |
| 1992 | MPC | Logical Specifications for Functional Programs. | Theodore S. Norvell, Eric C. R. Hehner |
| 1991 | ICCI | What's Wrong With Formal Programming Methods? | Eric C. R. Hehner |
| 1989 | MPC | Termination is Timing. | Eric C. R. Hehner |
| 1983 | SIGCSE | Teaching formal methods for program development and verification (Panel Session). | Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner |
| 1978 | ARITH | Exact arithmetic using a variable-length P-ADIC representation. | R. Nigel Horspool, Eric C. R. Hehner |
| 1977 | POPL | Structuring. | Eric C. R. Hehner |