Richard B. Kieburtz

According to our database1, Richard B. Kieburtz
  • authored at least 39 papers between 1971 and 2007.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 2001, "For founding two successful computer science departments, for research, and for service to the computing community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2007
Strength Induction in a Haskell Program Verifier.
Electr. Notes Theor. Comput. Sci., 2007

Programmed Strategies for Program Verification.
Electr. Notes Theor. Comput. Sci., 2007

2005
The logic of demand in Haskell.
J. Funct. Program., 2005

2003
The Semantic Layers of Timber.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

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

2001
A Logic for Rewriting Strategies.
Electr. Notes Theor. Comput. Sci., 2001

2000
Implementing Closed Domain-Specific Languages.
Proceedings of the Semantics, 2000

1999
Formal Verification of Explicitly Parallel Microprocessors.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998
Reactive functional programming.
Proceedings of the Programming Concepts and Methods, 1998

Taming Effects with Monadic Typing.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996
A Software Engineering Experiment in Software Component Generation.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Calculating Software Generators from Solution Specifications.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Programming with Algebras.
Proceedings of the Advanced Functional Programming, 1995

1994
Software design for reliability and reuse: a proof-of-concept demonstration.
TRI-Ada, 1994

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

1987
A RISC Architecture for Symbolic Computation.
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.
Inf. Process. Lett., 1986

Performance measurement of a G-machine implementation.
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.
IEEE Computer, 1985

The Design of Apple - A Language for Modular Programs.
Comput. Lang., 1985

Software Templates.
Proceedings of the Proceedings, 1985

The G-Machine: A Fast, Graph-Reduction Evaluator.
Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984
Schema Recognition for Program Transformations.
LISP and Functional Programming, 1984

1983
Access-Right Expressions.
ACM Trans. Program. Lang. Syst., 1983

Precise Typing of Abstract Data Type Specifications.
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.
Comput. J., 1982

1981
The Formal Definition of a Real-Time Language.
Acta Inf., 1981

A Distributed Operating System for the Stony Brook Multicomputer.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Transformations of FP program schemes.
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.
ACM Trans. Program. Lang. Syst., 1980

1979
Comments on "Communicating Sequential Processes".
ACM Trans. Program. Lang. Syst., 1979

Global context recovery: A new strategy for parser recovery from syntax errors.
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979

1978
Capability Managers.
IEEE Trans. Software Eng., 1978

A Type-Checking Program Linkage System for Pascal.
Proceedings of the 3rd International Conference on Software Engineering, 1978

1977
Extending Concurrent Pascal to Allow Dynamic Resource Management.
IEEE Trans. Software Eng., 1977

1976
Programming without Pointer Variables.
Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, 1976

Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976

1972
Compatibility and Complexity of Refinements of the Resolution Principle.
SIAM J. Comput., 1972

1971
Balanced Magnetic Circuits for Logic and Memory Devices.
Advances in Computers, 1971


  Loading...