Richard B. Kieburtz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Richard B. Kieburtz' as author, editor, or advisor:

An Experimental Study of Roundoff Effects in a Tenth-Order Recursive Digital FilterR. B. Kieburtz. tcom, 21(6):757-763, 1973. [doi]
Global context recovery: A new strategy for parser recovery from syntax errorsAjit B. Pai, Richard B. Kieburtz. sigplan 1979: 158-167 [doi]
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract)Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein. ICSE 1976: 236
A Logic for Rewriting StrategiesRichard B. Kieburtz. TCS, 58(2):138-154, 2001. [doi]
The G-Machine: A Fast, Graph-Reduction EvaluatorRichard B. Kieburtz. fpca 1985: 400-413
Software design for reliability and reuse: a proof-of-concept demonstrationJeffrey 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. sigada 1994: 396-404 [doi]
Taming Effects with Monadic TypingRichard B. Kieburtz. ICFP 1998: 51-62 [doi]
Formal Verification of Explicitly Parallel MicroprocessorsByron Cook, John Launchbury, John Matthews, Richard B. Kieburtz. charme 1999: 23-36 [doi]
Programmed Strategies for Program VerificationRichard B. Kieburtz. ENTCS, 174(10):3-38, 2007. [doi]
A Software Engineering Experiment in Software Component GenerationRichard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton. ICSE 1996: 542-552 [doi]
Defining and Implementing Closed, Domain-Specific LanguagesRichard B. Kieburtz. 2000.
Reactive functional programmingRichard B. Kieburtz. procomet 1998: 263-284
Calculating Software Generators from Solution SpecificationsRichard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou. tapsoft 1995: 546-560
The Formal Definition of a Real-Time LanguageJohn L. Hennessy, Richard B. Kieburtz. ACTA, 16:309-345, 1981.
Balanced Magnetic Circuits for Logic and Memory DevicesRichard B. Kieburtz, E. E. Newhall. ac, 11:231-317, 1971.
The Design of Apple - A Language for Modular ProgramsRichard B. Kieburtz, Bengt Nordström. Comp. Lang., Syst. \& Struct., 10(1):1-22, 1985.
When Chasing Your Tail Saves TimeRichard B. Kieburtz. ipl, 23(6):321-324, 1986.
Schema Recognition for Program TransformationsJohn S. Givler, Richard B. Kieburtz. lfp 1984: 74-84
Access-Right ExpressionsRichard B. Kieburtz, Abraham Silberschatz. TOPLAS, 5(1):78-96, 1983. [doi]
Precise Typing of Abstract Data Type SpecificationsRichard B. Kieburtz. POPL 1983: 109-116
Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive ParsersAjit B. Pai, Richard B. Kieburtz. TOPLAS, 2(1):18-41, 1980. [doi]
The logic of demand in HaskellWilliam L. Harrison, Richard B. Kieburtz. JFP, 15(5):837-891, 2005. [doi]
Transformations of FP program schemesRichard B. Kieburtz, Jonathan C. Shultis. fpca 1981: 41-48 [doi]
A Type-Checking Program Linkage System for PascalRichard B. Kieburtz, W. Barabash, C. R. Hill. ICSE 1978: 23-28
The external consistency of abstract data typesAvi Silberschatz, Richard B. Kieburtz. SIGPLAN, 15(2):64-73, 1980. [doi]
TOMAL-a high-level programming language for microprocessor process control applicationsRichard B. Kieburtz, John L. Hennessy. sigsmall 1976: 127-134 [doi]
Capability ManagersRichard B. Kieburtz, Abraham Silberschatz. TSE, 4(6):467-477, 1978.
Software TemplatesDennis M. Volpano, Richard B. Kieburtz. ICSE 1985: 55-61
A RISC Architecture for Symbolic ComputationRichard B. Kieburtz. asplos 1987: 146-155
Compatibility and Complexity of Refinements of the Resolution PrincipleRichard B. Kieburtz, David C. Luckham. SICOMP, 1(4):313-332, 1972.
Comments on Communicating Sequential Processes Richard B. Kieburtz, Abraham Silberschatz. TOPLAS, 1(2):218-225, 1979. [doi]

runs on WebDSL