Richard B. Kieburtz

According to our database, Richard B. Kieburtz authored at least 41 papers between 1971 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Strength Induction in a Haskell Program Verifier.

Richard B. Kieburtz

Proceedings of the Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, 2007

2006

Programmed Strategies for Program Verification.

Richard B. Kieburtz

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

2005

The logic of demand in Haskell.

William L. Harrison, Richard B. Kieburtz

J. Funct. Program., 2005

2003

The Semantic Layers of Timber.

Magnus Carlsson, Johan Nordlander, Dick Kieburtz

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Reactive Objects.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001

A Logic for Rewriting Strategies.

Richard B. Kieburtz

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

2000

Implementing Closed Domain-Specific Languages.

Richard B. Kieburtz

Proceedings of the Semantics, 2000

1999

Formal Verification of Explicitly Parallel Microprocessors.

Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Reactive functional programming.

Richard B. Kieburtz

Proceedings of the Programming Concepts and Methods, 1998

Taming Effects with Monadic Typing.

Richard B. Kieburtz

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996

A Software Engineering Experiment in Software Component Generation.

Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Calculating Software Generators from Solution Specifications.

Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Programming with Algebras.

Richard B. Kieburtz, Jeffrey Lewis

Proceedings of the Advanced Functional Programming, 1995

1994

Software design for reliability and reuse: a proof-of-concept demonstration.

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

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

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

ACM SIGPLAN Notices, 1992

1987

A RISC Architecture for Symbolic Computation.

Richard B. Kieburtz

Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), 1987

1986

When Chasing Your Tail Saves Time.

Richard B. Kieburtz

Inf. Process. Lett., 1986

Performance measurement of a G-machine implementation.

Richard B. Kieburtz

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

Workshop on Models and Languages for Software Specification and Design.

Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin

Computer, 1985

The Design of Apple - A Language for Modular Programs.

Richard B. Kieburtz, Bengt Nordström

Comput. Lang., 1985

Software Templates.

Dennis M. Volpano, Richard B. Kieburtz

Proceedings of the Proceedings, 1985

The G-Machine: A Fast, Graph-Reduction Evaluator.

Richard B. Kieburtz

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

Schema Recognition for Program Transformations.

John S. Givler, Richard B. Kieburtz

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1983

Access-Right Expressions.

Richard B. Kieburtz, Abraham Silberschatz

ACM Trans. Program. Lang. Syst., 1983

Precise Typing of Abstract Data Type Specifications.

Richard B. Kieburtz

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982

On the Static Access-Control Mechanism in Concurrent Pascal.

Richard B. Kieburtz, Abraham Silberschatz

Comput. J., 1982

1981

The Formal Definition of a Real-Time Language.

John L. Hennessy, Richard B. Kieburtz

Acta Informatica, 1981

A Distributed Operating System for the Stony Brook Multicomputer.

Richard B. Kieburtz

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Transformations of FP program schemes.

Richard B. Kieburtz, Jonathan C. Shultis

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers.

Ajit B. Pai, Richard B. Kieburtz

ACM Trans. Program. Lang. Syst., 1980

The external consistency of abstract data types.

Avi Silberschatz, Richard B. Kieburtz

ACM SIGPLAN Notices, 1980

1979

Comments on "Communicating Sequential Processes".

Richard B. Kieburtz, Abraham Silberschatz

ACM Trans. Program. Lang. Syst., 1979

Global context recovery: A new strategy for parser recovery from syntax errors.

Ajit B. Pai, Richard B. Kieburtz

Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

1978

Capability Managers.

Richard B. Kieburtz, Abraham Silberschatz

IEEE Trans. Software Eng., 1978

A Type-Checking Program Linkage System for Pascal.

Richard B. Kieburtz, W. Barabash, C. R. Hill

Proceedings of the 3rd International Conference on Software Engineering, 1978

1977

Extending Concurrent Pascal to Allow Dynamic Resource Management.

Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein

IEEE Trans. Software Eng., 1977

1976

TOMAL-a high-level programming language for microprocessor process control applications.

Richard B. Kieburtz, John L. Hennessy

Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, 1976

Programming without Pointer Variables.

Richard B. Kieburtz

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract).

Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein

Proceedings of the 2nd International Conference on Software Engineering, 1976

1972

Compatibility and Complexity of Refinements of the Resolution Principle.

Richard B. Kieburtz, David C. Luckham

SIAM J. Comput., 1972

1971

Balanced Magnetic Circuits for Logic and Memory Devices.

Richard B. Kieburtz, Edmund E. Newhall

Adv. Comput., 1971