Richard B. Kieburtz

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