default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRichard B. Kieburtz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2007
[c26]Richard B. Kieburtz:
Strength Induction in a Haskell Program Verifier. Festschrift honoring Gary Lindstrom 2007: 61-79- 2006
- [c25]Richard B. Kieburtz:
Programmed Strategies for Program Verification. WRS@FLoC 2006: 3-38 - 2005
- [j15]William L. Harrison, Richard B. Kieburtz:
The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005) - 2003
- [c24]Magnus Carlsson, Johan Nordlander, Dick Kieburtz:
The Semantic Layers of Timber. APLAS 2003: 339-356 - 2002
- [c23]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 - 2001
- [c22]Richard B. Kieburtz:
A Logic for Rewriting Strategies. STRATEGIES@IJCAR 2001: 138-154 - 2000
- [c21]Richard B. Kieburtz:
Implementing Closed Domain-Specific Languages. SAIG 2000: 1-2
1990 – 1999
- 1999
- [c20]Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz:
Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36 - 1998
- [c19]Richard B. Kieburtz:
Taming Effects with Monadic Typing. ICFP 1998: 51-62 - [c18]Richard B. Kieburtz:
Reactive functional programming. PROCOMET 1998: 263-284 - 1996
- [c17]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 - 1995
- [c16]Richard B. Kieburtz, Jeffrey Lewis:
Programming with Algebras. Advanced Functional Programming 1995: 267-307 - [c15]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 - 1994
- [c14]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 - 1992
- [j14]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): 1- (1992)
1980 – 1989
- 1987
- [c13]Richard B. Kieburtz:
A RISC Architecture for Symbolic Computation. ASPLOS 1987: 146-155 - 1986
- [j13]Richard B. Kieburtz:
When Chasing Your Tail Saves Time. Inf. Process. Lett. 23(6): 321-324 (1986) - [c12]Richard B. Kieburtz:
Performance measurement of a G-machine implementation. Graph Reduction 1986: 275-296 - 1985
- [j12]Richard B. Kieburtz, Bengt Nordström:
The Design of Apple - A Language for Modular Programs. Comput. Lang. 10(1): 1-22 (1985) - [j11]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): 103-108 (1985) - [c11]Richard B. Kieburtz:
The G-Machine: A Fast, Graph-Reduction Evaluator. FPCA 1985: 400-413 - [c10]Dennis M. Volpano, Richard B. Kieburtz:
Software Templates. ICSE 1985: 55-61 - 1984
- [c9]John S. Givler, Richard B. Kieburtz:
Schema Recognition for Program Transformations. LISP and Functional Programming 1984: 74-84 - 1983
- [j10]Richard B. Kieburtz, Abraham Silberschatz:
Access-Right Expressions. ACM Trans. Program. Lang. Syst. 5(1): 78-96 (1983) - [c8]Richard B. Kieburtz:
Precise Typing of Abstract Data Type Specifications. POPL 1983: 109-116 - 1982
- [j9]Richard B. Kieburtz, Abraham Silberschatz:
On the Static Access-Control Mechanism in Concurrent Pascal. Comput. J. 25(1): 17-21 (1982) - 1981
- [j8]John L. Hennessy, Richard B. Kieburtz:
The Formal Definition of a Real-Time Language. Acta Informatica 16: 309-345 (1981) - [c7]Richard B. Kieburtz, Jonathan C. Shultis:
Transformations of FP program schemes. FPCA 1981: 41-48 - [c6]Richard B. Kieburtz:
A Distributed Operating System for the Stony Brook Multicomputer. ICDCS 1981: 67-78 - 1980
- [j7]Avi Silberschatz, Richard B. Kieburtz:
The external consistency of abstract data types. ACM SIGPLAN Notices 15(2): 64-73 (1980) - [j6]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)
1970 – 1979
- 1979
- [j5]Richard B. Kieburtz, Abraham Silberschatz:
Comments on "Communicating Sequential Processes". ACM Trans. Program. Lang. Syst. 1(2): 218-225 (1979) - [c5]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 - 1978
- [j4]Richard B. Kieburtz, Abraham Silberschatz:
Capability Managers. IEEE Trans. Software Eng. 4(6): 467-477 (1978) - [c4]Richard B. Kieburtz, W. Barabash, C. R. Hill:
A Type-Checking Program Linkage System for Pascal. ICSE 1978: 23-28 - 1977
- [j3]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) - 1976
- [c3]Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein:
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). ICSE 1976: 236 - [c2]Richard B. Kieburtz:
Programming without Pointer Variables. Conference on Data: Abstraction, Definition and Structure 1976: 95-107 - [c1]Richard B. Kieburtz, John L. Hennessy:
TOMAL-a high-level programming language for microprocessor process control applications. SIGMINI 1976: 127-134 - 1972
- [j2]Richard B. Kieburtz, David C. Luckham:
Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1(4): 313-332 (1972) - 1971
- [j1]Richard B. Kieburtz, Edmund E. Newhall:
Balanced Magnetic Circuits for Logic and Memory Devices. Adv. Comput. 11: 231-317 (1971)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
