The SCEAS System
Navigation Menu

Search the dblp DataBase


James Hook: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daan Leijen, Erik Meijer, James Hook
    Haskell as an Automation Controller. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1998, pp:268-289 [Conf]
  2. Judy Bamberger, James Hook
    Teaching Software Quality and Leadership: Experiences and Successes. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:333-344 [Conf]
  3. Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger
    The Romulus Proof Checker. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:651-652 [Conf]
  4. William L. Harrison, James Hook
    Achieving Information Flow Security through Precise Control of Effects. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:16-30 [Conf]
  5. Jeffrey M. Bell, Françoise Bellegarde, James Hook
    Type-Driven Defunctionalization. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:25-37 [Conf]
  6. Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
    A Software Engineering Experiment in Software Component Generation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:542-552 [Conf]
  7. William Harrison, Tim Sheard, James Hook
    Fine Control of Demand in Haskell. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:68-93 [Conf]
  8. Erik Meijer, Daan Leijen, James Hook
    Client-Side Web Scripting with HaskellScript. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:196-210 [Conf]
  9. Harini Srinivasan, James Hook, Michael Wolfe
    Static Single Assignment for Explicitely Parallel Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:260-272 [Conf]
  10. James Hook
    Understanding Russell- A First Attempt. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:69-86 [Conf]
  11. Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou
    Software design for reliability and reuse: a proof-of-concept demonstration. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:396-404 [Conf]
  12. Françoise Bellegarde, James Hook
    Monads, Indexes and Transformations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:314-327 [Conf]
  13. Richard B. Kieburtz, Françoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
    Calculating Software Generators from Solution Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:546-560 [Conf]
  14. Songtao Xia, James Hook
    Certifying Temporal Properties for Compiled C Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:161-174 [Conf]
  15. Songtao Xia, James Hook
    Experience with Abstraction-carrying Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  16. Françoise Bellegarde, James Hook
    Subsitution: A Formal Methods Case Study Using Monads and Transformations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:287-311 [Journal]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002