The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eric C. R. Hehner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  35. Specified Blocks. [Citation Graph (, )][DBLP]


  36. Programming with Quantum Communication [Citation Graph (, )][DBLP]


  37. Programming with Quantum Communication. [Citation Graph (, )][DBLP]


Search in 0.168secs, Finished in 0.170secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002