dblp.uni-trier.dewww.uni-trier.de

Eric C. R. Hehner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
36EEAnya Tafliovich, Eric C. R. Hehner: Programming with Quantum Communication CoRR abs/0907.5162: (2009)
2006
35EEGary 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
34EEAnya Tafliovich, Eric C. R. Hehner: Quantum Predicative Programming. MPC 2006: 433-454
33EEEric C. R. Hehner: Retrospective and Prospective for Unifying Theories of Programming. UTP 2006: 1-17
2005
32EEEric C. R. Hehner: Specified Blocks. VSTTE 2005: 384-391
2004
31EEEric C. R. Hehner: Probabilistic Predicative Programming. MPC 2004: 169-185
2002
30EEEric C. R. Hehner, Ioannis T. Kassios: Theories, Implementations, and Transformations. ZB 2002: 1-21
2001
29EEEric C. R. Hehner: Variables and scopes considered formally. Inf. Process. Lett. 79(1): 33-38 (2001)
1999
28EEEric C. R. Hehner, Andrew M. Gravell: Refinement Semantics and Loop Rules. World Congress on Formal Methods 1999: 1497-1510
27EERichard 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
25EEEric 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
22EEEric 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
9EEChristian 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
1EEEric C. R. Hehner: Information Content of Programs and Operation Encoding. J. ACM 24(2): 290-297 (1977)

Coauthor Index

1Jean-Raymond Abrial [35]
2Don S. Batory [35]
3Michael J. Butler [35]
4Alessandro Coglio [35]
5Kathi Fisler [35]
6Andrew M. Gravell [28]
7Lorene E. Gupta [16] [18]
8C. A. R. Hoare (Tony Hoare) [12]
9R. Nigel Horspool [4] [6] [11]
10Cliff B. Jones [35]
11Simon L. Peyton Jones [35]
12Ioannis T. Kassios [30]
13Gary T. Leavens [35]
14Christian Lengauer [9] [10]
15Andrew J. Malton [16] [17] [18]
16Dale Miller [35]
17Theodore S. Norvell [23]
18Richard F. Paige [27]
19R. K. Shyamasundar [7]
20Brad A. Silverberg [13]
21Murali Sitaraman [35]
22Douglas R. Smith [35]
23Aaron Stump [35]
24Anya Tafliovich [34] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)