Richard B. Kieburtz

Richard B. Kieburtz: Programmed Strategies for Program Verification. Electr. Notes Theor. Comput. Sci. 174(10): 3-38 (2007)

Richard B. Kieburtz: Strength Induction in a Haskell Program Verifier. Electr. Notes Theor. Comput. Sci. 193: 61-79 (2007)

William L. Harrison, Richard B. Kieburtz: The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005)

Magnus Carlsson, Johan Nordlander, Dick Kieburtz: The Semantic Layers of Timber. APLAS 2003: 339-356

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black: Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 155-158

Richard B. Kieburtz: A Logic for Rewriting Strategies. Electr. Notes Theor. Comput. Sci. 58(2): 138-154 (2001)

Richard B. Kieburtz: Implementing Closed Domain-Specific Languages. SAIG 2000: 1-2

Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36

Richard B. Kieburtz: Taming Effects with Monadic Typing. ICFP 1998: 51-62

Richard B. Kieburtz: Reactive functional programming. PROCOMET 1998: 263-284

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: 542-552

Richard B. Kieburtz, Jeffrey Lewis: Programming with Algebras. Advanced Functional Programming 1995: 267-307

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: 546-560

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: 396-404

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. SIGPLAN Notices 27(5): 1- (1992)

Richard B. Kieburtz: A RISC Architecture for Symbolic Computation. ASPLOS 1987: 146-155

Richard B. Kieburtz: When Chasing Your Tail Saves Time. Inf. Process. Lett. 23(6): 321-324 (1986)

Richard B. Kieburtz: Performance measurement of a G-machine implementation. Graph Reduction 1986: 275-296

Richard B. Kieburtz, Bengt Nordström: The Design of Apple - A Language for Modular Programs. Comput. Lang. 10(1): 1-22 (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. IEEE Computer 18(3): 103-108 (1985)

Richard B. Kieburtz: The G-Machine: A Fast, Graph-Reduction Evaluator. FPCA 1985: 400-413

Dennis M. Volpano, Richard B. Kieburtz: Software Templates. ICSE 1985: 55-61

John S. Givler, Richard B. Kieburtz: Schema Recognition for Program Transformations. LISP and Functional Programming 1984: 74-84

Richard B. Kieburtz, Abraham Silberschatz: Access-Right Expressions. ACM Trans. Program. Lang. Syst. 5(1): 78-96 (1983)

Richard B. Kieburtz: Precise Typing of Abstract Data Type Specifications. POPL 1983: 109-116

Richard B. Kieburtz, Abraham Silberschatz: On the Static Access-Control Mechanism in Concurrent Pascal. Comput. J. 25(1): 17-21 (1982)

John L. Hennessy, Richard B. Kieburtz: The Formal Definition of a Real-Time Language. Acta Inf. 16: 309-345 (1981)

Richard B. Kieburtz: A Distributed Operating System for the Stony Brook Multicomputer. ICDCS 1981: 67-78

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): 18-41 (1980)

Richard B. Kieburtz, Abraham Silberschatz: Comments on ``Communicating Sequential Processes''. ACM Trans. Program. Lang. Syst. 1(2): 218-225 (1979)

Ajit B. Pai, Richard B. Kieburtz: Global context recovery: A new strategy for parser recovery from syntax errors. SIGPLAN Symposium on Compiler Construction 1979: 158-167

Richard B. Kieburtz, Abraham Silberschatz: Capability Managers. IEEE Trans. Software Eng. 4(6): 467-477 (1978)

Richard B. Kieburtz, W. Barabash, C. R. Hill: A Type-Checking Program Linkage System for Pascal. ICSE 1978: 23-28

Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management. IEEE Trans. Software Eng. 3(3): 210-217 (1977)

Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). ICSE 1976: 236

Richard B. Kieburtz: Programming without Pointer Variables. Conference on Data: Abstraction, Definition and Structure 1976: 95-107

Richard B. Kieburtz, David C. Luckham: Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1(4): 313-332 (1972)

Richard B. Kieburtz, E. E. Newhall: Balanced Magnetic Circuits for Logic and Memory Devices. Advances in Computers 11: 231-317 (1971)