The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard B. Kieburtz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin
    Workshop on Models and Languages for Software Specification and Design. [Citation Graph (2, 0)][DBLP]
    IEEE Computer, 1985, v:18, n:3, pp:103-108 [Journal]
  2. Richard B. Kieburtz
    A RISC Architecture for Symbolic Computation. [Citation Graph (1, 0)][DBLP]
    ASPLOS, 1987, pp:146-155 [Conf]
  3. Richard B. Kieburtz
    The G-Machine: A Fast, Graph-Reduction Evaluator. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:400-413 [Conf]
  4. Richard B. Kieburtz, David C. Luckham
    Compatibility and Complexity of Refinements of the Resolution Principle. [Citation Graph (1, 0)][DBLP]
    SIAM J. Comput., 1972, v:1, n:4, pp:313-332 [Journal]
  5. Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson
    Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. [Citation Graph (1, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:5, pp:0-0 [Journal]
  6. Richard B. Kieburtz, Jeffrey Lewis
    Programming with Algebras. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1995, pp:267-307 [Conf]
  7. Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz
    Formal Verification of Explicitly Parallel Microprocessors. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:23-36 [Conf]
  8. Richard B. Kieburtz
    Performance measurement of a G-machine implementation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:275-296 [Conf]
  9. Richard B. Kieburtz
    A Distributed Operating System for the Stony Brook Multicomputer. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:67-78 [Conf]
  10. Richard B. Kieburtz
    Taming Effects with Monadic Typing. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:51-62 [Conf]
  11. Richard B. Kieburtz, W. Barabash, C. R. Hill
    A Type-Checking Program Linkage System for Pascal. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:23-28 [Conf]
  12. 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]
  13. Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
    Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:236- [Conf]
  14. Dennis M. Volpano, Richard B. Kieburtz
    Software Templates. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:55-61 [Conf]
  15. Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
    Reactive Objects. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:155-158 [Conf]
  16. John S. Givler, Richard B. Kieburtz
    Schema Recognition for Program Transformations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:74-84 [Conf]
  17. Richard B. Kieburtz
    Precise Typing of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:109-116 [Conf]
  18. Richard B. Kieburtz
    Reactive functional programming. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:263-284 [Conf]
  19. Richard B. Kieburtz
    Implementing Closed Domain-Specific Languages. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:1-2 [Conf]
  20. 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]
  21. Richard B. Kieburtz
    Programming without Pointer Variables. [Citation Graph (0, 0)][DBLP]
    Conference on Data: Abstraction, Definition and Structure, 1976, pp:95-107 [Conf]
  22. Ajit B. Pai, Richard B. Kieburtz
    Global context recovery: A new strategy for parser recovery from syntax errors. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1979, pp:158-167 [Conf]
  23. 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]
  24. Richard B. Kieburtz, E. E. Newhall
    Balanced Magnetic Circuits for Logic and Memory Devices. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1971, v:11, n:, pp:231-317 [Journal]
  25. John L. Hennessy, Richard B. Kieburtz
    The Formal Definition of a Real-Time Language. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:16, n:, pp:309-345 [Journal]
  26. Richard B. Kieburtz, Abraham Silberschatz
    On the Static Access-Control Mechanism in Concurrent Pascal. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1982, v:25, n:1, pp:17-21 [Journal]
  27. Richard B. Kieburtz, Bengt Nordström
    The Design of Apple - A Language for Modular Programs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1985, v:10, n:1, pp:1-22 [Journal]
  28. Richard B. Kieburtz
    When Chasing Your Tail Saves Time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:6, pp:321-324 [Journal]
  29. William L. Harrison, Richard B. Kieburtz
    The logic of demand in Haskell. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:5, pp:837-891 [Journal]
  30. Richard B. Kieburtz
    A Logic for Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
  31. Richard B. Kieburtz, Abraham Silberschatz
    Comments on ``Communicating Sequential Processes''. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:218-225 [Journal]
  32. Richard B. Kieburtz, Abraham Silberschatz
    Access-Right Expressions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:1, pp:78-96 [Journal]
  33. Ajit B. Pai, Richard B. Kieburtz
    Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:18-41 [Journal]
  34. Richard B. Kieburtz, Abraham Silberschatz
    Capability Managers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:6, pp:467-477 [Journal]
  35. Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
    Extending Concurrent Pascal to Allow Dynamic Resource Management. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:3, pp:210-217 [Journal]
  36. Richard B. Kieburtz
    Programmed Strategies for Program Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:3-38 [Journal]

  37. Strength Induction in a Haskell Program Verifier. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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