Richard B. Kieburtz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2007

Strength Induction in a Haskell Program VerifierRichard B. Kieburtz. ENTCS, 193:61-79, 2007. [doi]

2002

Reactive ObjectsJohan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black. isorc 2002: 155-158 [doi]

2000

Implementing Closed Domain-Specific LanguagesRichard B. Kieburtz. saig 2000: 1-2 [doi]

1995

Programming with AlgebrasRichard B. Kieburtz, Jeffrey Lewis. afp 1995: 267-307

1992

Report on the Programming Language Haskell, A Non-strict, Purely Functional LanguagePaul 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. SIGPLAN, 27(5):1, 1992.

1986

Performance measurement of a G-machine implementationRichard B. Kieburtz. gr 1987: 275-296

1985

Workshop on Models and Languages for Software Specification and DesignRobert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin. Computer, 18(3):103-108, 1985.

1982

On the Static Access-Control Mechanism in Concurrent PascalRichard B. Kieburtz, Abraham Silberschatz. cj, 25(1):17-21, 1982.

1981

A Distributed Operating System for the Stony Brook MulticomputerRichard B. Kieburtz. icdcs 1981: 67-78

1977

Extending Concurrent Pascal to Allow Dynamic Resource ManagementAbraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein. TSE, 3(3):210-217, 1977.

1976

Programming without Pointer VariablesRichard B. Kieburtz. sigplan 1976: 95-107 [doi]

Sign in or sign up to see more results.

runs on WebDSL