Richard B. Kieburtz

Publication Activity (10 Years)

Years Active: 1971-2007
Publications (10 Years): 0

Publications

Richard B. Kieburtz
Strength Induction in a Haskell Program Verifier. Electron. Notes Theor. Comput. Sci. 193 (2007)
Richard B. Kieburtz
Programmed Strategies for Program Verification. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
William L. Harrison, Richard B. Kieburtz
The logic of demand in Haskell. J. Funct. Program. 15 (5) (2005)
Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Richard B. Kieburtz
A Logic for Rewriting Strategies. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Richard B. Kieburtz
Implementing Closed Domain-Specific Languages. SAIG (2000)
Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz
Formal Verification of Explicitly Parallel Microprocessors. CHARME (1999)
Richard B. Kieburtz
Taming Effects with Monadic Typing. ICFP (1998)
Richard B. Kieburtz
Reactive functional programming. PROCOMET (1998)
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. ICSE (1996)
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
Calculating Software Generators from Solution Specifications. TAPSOFT (1995)
Richard B. Kieburtz, Jeffrey Lewis
Programming with Algebras. Advanced Functional Programming (1995)
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. TRI-Ada (1994)
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. ACM SIGPLAN Notices 27 (5) (1992)
Richard B. Kieburtz
A RISC Architecture for Symbolic Computation. ASPLOS (1987)
Richard B. Kieburtz
Performance measurement of a G-machine implementation. Graph Reduction (1986)
Richard B. Kieburtz
When Chasing Your Tail Saves Time. Inf. Process. Lett. 23 (6) (1986)
Richard B. Kieburtz, Bengt Nordström
The Design of Apple - A Language for Modular Programs. Comput. Lang. 10 (1) (1985)
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. Computer 18 (3) (1985)
Dennis M. Volpano, Richard B. Kieburtz
Software Templates. ICSE (1985)
Richard B. Kieburtz
The G-Machine: A Fast, Graph-Reduction Evaluator. FPCA (1985)
John S. Givler, Richard B. Kieburtz
Schema Recognition for Program Transformations. LISP and Functional Programming (1984)
Richard B. Kieburtz, Abraham Silberschatz
Access-Right Expressions. ACM Trans. Program. Lang. Syst. 5 (1) (1983)
Richard B. Kieburtz
Precise Typing of Abstract Data Type Specifications. POPL (1983)
Richard B. Kieburtz, Abraham Silberschatz
On the Static Access-Control Mechanism in Concurrent Pascal. Comput. J. 25 (1) (1982)
Richard B. Kieburtz, Jonathan C. Shultis
Transformations of FP program schemes. FPCA (1981)
Richard B. Kieburtz
A Distributed Operating System for the Stony Brook Multicomputer. ICDCS (1981)
John L. Hennessy, Richard B. Kieburtz
The Formal Definition of a Real-Time Language. Acta Informatica 16 (1981)
Ajit B. Pai, Richard B. Kieburtz
Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers. ACM Trans. Program. Lang. Syst. 2 (1) (1980)
Avi Silberschatz, Richard B. Kieburtz
The external consistency of abstract data types. ACM SIGPLAN Notices 15 (2) (1980)
Ajit B. Pai, Richard B. Kieburtz
Global context recovery: A new strategy for parser recovery from syntax errors. SIGPLAN Symposium on Compiler Construction (1979)
Richard B. Kieburtz, Abraham Silberschatz
Comments on "Communicating Sequential Processes". ACM Trans. Program. Lang. Syst. 1 (2) (1979)
Richard B. Kieburtz, W. Barabash, C. R. Hill
A Type-Checking Program Linkage System for Pascal. ICSE (1978)
Richard B. Kieburtz, Abraham Silberschatz
Capability Managers. IEEE Trans. Software Eng. 4 (6) (1978)
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
Extending Concurrent Pascal to Allow Dynamic Resource Management. IEEE Trans. Software Eng. 3 (3) (1977)
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). ICSE (1976)
Richard B. Kieburtz
Programming without Pointer Variables. Conference on Data: Abstraction, Definition and Structure (1976)
Richard B. Kieburtz, John L. Hennessy
TOMAL-a high-level programming language for microprocessor process control applications. SIGMINI (1976)
Richard B. Kieburtz, David C. Luckham
Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1 (4) (1972)
Richard B. Kieburtz, Edmund E. Newhall
Balanced Magnetic Circuits for Logic and Memory Devices. Adv. Comput. 11 (1971)