Search the dblp DataBase
Richard B. Kieburtz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Richard B. Kieburtz A RISC Architecture for Symbolic Computation. [Citation Graph (1, 0)][DBLP ] ASPLOS, 1987, pp:146-155 [Conf ] Richard B. Kieburtz The G-Machine: A Fast, Graph-Reduction Evaluator. [Citation Graph (1, 0)][DBLP ] FPCA, 1985, pp:400-413 [Conf ] 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 ] 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 ] Richard B. Kieburtz , Jeffrey Lewis Programming with Algebras. [Citation Graph (0, 0)][DBLP ] Advanced Functional Programming, 1995, pp:267-307 [Conf ] 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 ] Richard B. Kieburtz Performance measurement of a G-machine implementation. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:275-296 [Conf ] Richard B. Kieburtz A Distributed Operating System for the Stony Brook Multicomputer. [Citation Graph (0, 0)][DBLP ] ICDCS, 1981, pp:67-78 [Conf ] Richard B. Kieburtz Taming Effects with Monadic Typing. [Citation Graph (0, 0)][DBLP ] ICFP, 1998, pp:51-62 [Conf ] 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 ] 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 ] 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 ] Dennis M. Volpano , Richard B. Kieburtz Software Templates. [Citation Graph (0, 0)][DBLP ] ICSE, 1985, pp:55-61 [Conf ] 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 ] 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 ] Richard B. Kieburtz Precise Typing of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP ] POPL, 1983, pp:109-116 [Conf ] Richard B. Kieburtz Reactive functional programming. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1998, pp:263-284 [Conf ] Richard B. Kieburtz Implementing Closed Domain-Specific Languages. [Citation Graph (0, 0)][DBLP ] SAIG, 2000, pp:1-2 [Conf ] 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 ] Richard B. Kieburtz Programming without Pointer Variables. [Citation Graph (0, 0)][DBLP ] Conference on Data: Abstraction, Definition and Structure, 1976, pp:95-107 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Strength Induction in a Haskell Program Verifier. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.304secs