Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard B. Kieburtz
@inproceedings{DBLP:journals/entcs/Kieburtz07a,
author = {Richard B. Kieburtz},
editor = {Ganesh Gopalakrishnan},
title = {Strength Induction in a Haskell Program Verifier},
booktitle = {Festschrift honoring Gary Lindstrom on his retirement from the University
of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {193},
pages = {61--79},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.008},
doi = {10.1016/J.ENTCS.2007.10.008},
timestamp = {Thu, 09 Feb 2023 10:30:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kieburtz07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kieburtz07,
author = {Richard B. Kieburtz},
editor = {Sergio Antoy},
title = {Programmed Strategies for Program Verification},
booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {10},
pages = {3--38},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.02.045},
doi = {10.1016/J.ENTCS.2007.02.045},
timestamp = {Fri, 27 Jan 2023 14:38:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kieburtz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HarrisonK05,
author = {William L. Harrison and
Richard B. Kieburtz},
title = {The logic of demand in Haskell},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {837--891},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005666},
doi = {10.1017/S0956796805005666},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HarrisonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CarlssonNK03,
author = {Magnus Carlsson and
Johan Nordlander and
Dick Kieburtz},
editor = {Atsushi Ohori},
title = {The Semantic Layers of Timber},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {339--356},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_22},
doi = {10.1007/978-3-540-40018-9\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CarlssonNK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/NordlanderJCKB02,
author = {Johan Nordlander and
Mark P. Jones and
Magnus Carlsson and
Richard B. Kieburtz and
Andrew P. Black},
title = {Reactive Objects},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {155--158},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003682},
doi = {10.1109/ISORC.2002.1003682},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/NordlanderJCKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Kieburtz01,
author = {Richard B. Kieburtz},
editor = {Maria Paola Bonacina and
Bernhard Gramlich},
title = {A Logic for Rewriting Strategies},
booktitle = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
Selected Papers},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {2},
pages = {138--154},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00283-X},
doi = {10.1016/S1571-0661(04)00283-X},
timestamp = {Tue, 13 Dec 2022 13:31:33 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kieburtz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/Kieburtz00,
author = {Richard B. Kieburtz},
editor = {Walid Taha},
title = {Implementing Closed Domain-Specific Languages},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
International Workshop {SAIG} 2000, Montreal, Canada, September 20,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1924},
pages = {1--2},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45350-4\_1},
doi = {10.1007/3-540-45350-4\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/Kieburtz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CookLMK99,
author = {Byron Cook and
John Launchbury and
John Matthews and
Richard B. Kieburtz},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Formal Verification of Explicitly Parallel Microprocessors},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {23--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_4},
doi = {10.1007/3-540-48153-2\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/CookLMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kieburtz98,
author = {Richard B. Kieburtz},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Taming Effects with Monadic Typing},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {51--62},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289428},
doi = {10.1145/289423.289428},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kieburtz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Kieburtz98,
author = {Richard B. Kieburtz},
editor = {David Gries and
Willem P. de Roever},
title = {Reactive functional programming},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {263--284},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Kieburtz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KieburtzMBHKLOSSW96,
author = {Richard B. Kieburtz and
Laura McKinney and
Jeffrey M. Bell and
James Hook and
Alex Kotov and
Jeffrey Lewis and
Dino Oliva and
Tim Sheard and
Ira Smith and
Lisa Walton},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {A Software Engineering Experiment in Software Component Generation},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {542--552},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227842},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/KieburtzMBHKLOSSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/KieburtzL95,
author = {Richard B. Kieburtz and
Jeffrey Lewis},
editor = {Johan Jeuring and
Erik Meijer},
title = {Programming with Algebras},
booktitle = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
pages = {267--307},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59451-5\_8},
doi = {10.1007/3-540-59451-5\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/KieburtzL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KieburtzBBHLOSWZ95,
author = {Richard B. Kieburtz and
Fran{\c{c}}oise Bellegarde and
Jeffrey M. Bell and
James Hook and
Jeffrey Lewis and
Dino Oliva and
Tim Sheard and
Lisa Walton and
Tong Zhou},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Calculating Software Generators from Solution Specifications},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {546--560},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_219},
doi = {10.1007/3-540-59293-8\_219},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KieburtzBBHLOSWZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BellBHKKLMOSTWZ94,
author = {Jeffrey M. Bell and
Fran{\c{c}}oise Bellegarde and
James Hook and
Richard B. Kieburtz and
Alex Kotov and
Jeffrey Lewis and
Laura McKinney and
Dino Oliva and
Tim Sheard and
L. Tong and
Lisa Walton and
Tong Zhou},
editor = {Charles B. Engle Jr.},
title = {Software design for reliability and reuse: a proof-of-concept demonstration},
booktitle = {Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11,
1994, Baltimore, Maryland, {USA}},
pages = {396--404},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197694.197740},
doi = {10.1145/197694.197740},
timestamp = {Fri, 06 May 2022 16:16:51 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BellBHKKLMOSTWZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
author = {Paul Hudak and
Simon L. Peyton Jones and
Philip Wadler and
Brian Boutel and
Jon Fairbairn and
Joseph H. Fasel and
Mar{\'{\i}}a M. Guzm{\'{a}}n and
Kevin Hammond and
John Hughes and
Thomas Johnsson and
Richard B. Kieburtz and
Rishiyur S. Nikhil and
Will Partain and
John Peterson},
title = {Report on the Programming Language Haskell, {A} Non-strict, Purely
Functional Language},
journal = {{ACM} {SIGPLAN} Notices},
volume = {27},
number = {5},
pages = {1},
year = {1992},
url = {https://doi.org/10.1145/130697.130699},
doi = {10.1145/130697.130699},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/HudakPWBFFGHHJKNPP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Kieburtz87,
author = {Richard B. Kieburtz},
editor = {Randy H. Katz and
Martin Freeman},
title = {A {RISC} Architecture for Symbolic Computation},
booktitle = {Proceedings of the Second International Conference on Architectural
Support for Programming Languages and Operating Systems {(ASPLOS}
II), Palo Alto, California, USA, October 5-8, 1987},
pages = {146--155},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/36206.36197},
doi = {10.1145/36206.36197},
timestamp = {Wed, 04 May 2022 13:03:26 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Kieburtz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Kieburtz86,
author = {Richard B. Kieburtz},
title = {When Chasing Your Tail Saves Time},
journal = {Inf. Process. Lett.},
volume = {23},
number = {6},
pages = {321--324},
year = {1986},
url = {https://doi.org/10.1016/0020-0190(86)90094-3},
doi = {10.1016/0020-0190(86)90094-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Kieburtz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/Kieburtz86,
author = {Richard B. Kieburtz},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {Performance measurement of a G-machine implementation},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {275--296},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_61},
doi = {10.1007/3-540-18420-1\_61},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/gr/Kieburtz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KieburtzN85,
author = {Richard B. Kieburtz and
Bengt Nordstr{\"{o}}m},
title = {The Design of Apple - {A} Language for Modular Programs},
journal = {Comput. Lang.},
volume = {10},
number = {1},
pages = {1--22},
year = {1985},
url = {https://doi.org/10.1016/0096-0551(85)90007-4},
doi = {10.1016/0096-0551(85)90007-4},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/KieburtzN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BabbKOMGM85,
author = {Robert G. Babb II and
Richard B. Kieburtz and
Ken Orr and
Ali Mili and
Susan Gearhart and
Nancy N. Martin},
title = {Workshop on Models and Languages for Software Specification and Design},
journal = {Computer},
volume = {18},
number = {3},
pages = {103--108},
year = {1985},
url = {https://doi.org/10.1109/MC.1985.1662835},
doi = {10.1109/MC.1985.1662835},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/BabbKOMGM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Kieburtz85,
author = {Richard B. Kieburtz},
editor = {Jean{-}Pierre Jouannaud},
title = {The G-Machine: {A} Fast, Graph-Reduction Evaluator},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA}
1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
pages = {400--413},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15975-4\_50},
doi = {10.1007/3-540-15975-4\_50},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Kieburtz85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VolpanoK85,
author = {Dennis M. Volpano and
Richard B. Kieburtz},
editor = {Meir M. Lehman and
Horst H{\"{u}}nke and
Barry W. Boehm},
title = {Software Templates},
booktitle = {Proceedings, 8th International Conference on Software Engineering,
London, UK, August 28-30, 1985},
pages = {55--61},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {http://dl.acm.org/citation.cfm?id=319579},
timestamp = {Mon, 14 May 2012 18:17:18 +0200},
biburl = {https://dblp.org/rec/conf/icse/VolpanoK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GivlerK84,
author = {John S. Givler and
Richard B. Kieburtz},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Schema Recognition for Program Transformations},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {74--84},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802023},
doi = {10.1145/800055.802023},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GivlerK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KieburtzS83,
author = {Richard B. Kieburtz and
Abraham Silberschatz},
title = {Access-Right Expressions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {5},
number = {1},
pages = {78--96},
year = {1983},
url = {https://doi.org/10.1145/357195.357201},
doi = {10.1145/357195.357201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KieburtzS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kieburtz83,
author = {Richard B. Kieburtz},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Precise Typing of Abstract Data Type Specifications},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {109--116},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567079},
doi = {10.1145/567067.567079},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kieburtz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KieburtzS82,
author = {Richard B. Kieburtz and
Abraham Silberschatz},
title = {On the Static Access-Control Mechanism in Concurrent Pascal},
journal = {Comput. J.},
volume = {25},
number = {1},
pages = {17--21},
year = {1982},
url = {https://doi.org/10.1093/comjnl/25.1.17},
doi = {10.1093/COMJNL/25.1.17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KieburtzS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HennesyK81,
author = {John L. Hennessy and
Richard B. Kieburtz},
title = {The Formal Definition of a Real-Time Language},
journal = {Acta Informatica},
volume = {16},
pages = {309--345},
year = {1981},
url = {https://doi.org/10.1007/BF00289309},
doi = {10.1007/BF00289309},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HennesyK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KieburtzS81,
author = {Richard B. Kieburtz and
Jonathan C. Shultis},
editor = {Arvind and
Jack B. Dennis},
title = {Transformations of {FP} program schemes},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {41--48},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806761},
doi = {10.1145/800223.806761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KieburtzS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Kieburtz81,
author = {Richard B. Kieburtz},
title = {A Distributed Operating System for the Stony Brook Multicomputer},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {67--78},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/Kieburtz81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SilberschatzK80,
author = {Avi Silberschatz and
Richard B. Kieburtz},
title = {The external consistency of abstract data types},
journal = {{ACM} {SIGPLAN} Notices},
volume = {15},
number = {2},
pages = {64--73},
year = {1980},
url = {https://doi.org/10.1145/947586.947593},
doi = {10.1145/947586.947593},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/SilberschatzK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PaiK80,
author = {Ajit B. Pai and
Richard B. Kieburtz},
title = {Global Context Recovery: {A} New Strategy for Syntactic Error Recovery
by Table-Drive Parsers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {1},
pages = {18--41},
year = {1980},
url = {https://doi.org/10.1145/357084.357086},
doi = {10.1145/357084.357086},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PaiK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KieburtzS79,
author = {Richard B. Kieburtz and
Abraham Silberschatz},
title = {Comments on "Communicating Sequential Processes"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {1},
number = {2},
pages = {218--225},
year = {1979},
url = {https://doi.org/10.1145/357073.357077},
doi = {10.1145/357073.357077},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KieburtzS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/PaiK79,
author = {Ajit B. Pai and
Richard B. Kieburtz},
editor = {Stephen C. Johnson},
title = {Global context recovery: {A} new strategy for parser recovery from
syntax errors},
booktitle = {Proceedings of the 1979 {SIGPLAN} Symposium on Compiler Construction,
Denver, Colorado, USA, August 6-10, 1979},
pages = {158--167},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800229.806966},
doi = {10.1145/800229.806966},
timestamp = {Mon, 09 Aug 2021 11:24:25 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/PaiK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KieburtzS78,
author = {Richard B. Kieburtz and
Abraham Silberschatz},
title = {Capability Managers},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {6},
pages = {467--477},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.233870},
doi = {10.1109/TSE.1978.233870},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KieburtzS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KieburtzBH78,
author = {Richard B. Kieburtz and
W. Barabash and
C. R. Hill},
editor = {Maurice V. Wilkes and
Laszlo A. Belady and
Y. H. Su and
Harry Hayman and
Philip H. Enslow Jr.},
title = {A Type-Checking Program Linkage System for Pascal},
booktitle = {Proceedings of the 3rd International Conference on Software Engineering,
Atlanta, Georgia, USA, May 10-12, 1978},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=803186},
timestamp = {Mon, 14 May 2012 18:17:16 +0200},
biburl = {https://dblp.org/rec/conf/icse/KieburtzBH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SilberschatzKB77,
author = {Abraham Silberschatz and
Richard B. Kieburtz and
Arthur J. Bernstein},
title = {Extending Concurrent Pascal to Allow Dynamic Resource Management},
journal = {{IEEE} Trans. Software Eng.},
volume = {3},
number = {3},
pages = {210--217},
year = {1977},
url = {https://doi.org/10.1109/TSE.1977.231130},
doi = {10.1109/TSE.1977.231130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SilberschatzKB77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SilberschatzKB76,
author = {Abraham Silberschatz and
Richard B. Kieburtz and
Arthur J. Bernstein},
editor = {Raymond T. Yeh and
C. V. Ramamoorthy},
title = {Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract)},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering,
San Francisco, California, USA, October 13-15, 1976},
pages = {236},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {http://dl.acm.org/citation.cfm?id=807681},
timestamp = {Mon, 14 May 2012 18:17:17 +0200},
biburl = {https://dblp.org/rec/conf/icse/SilberschatzKB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Kieburtz76,
author = {Richard B. Kieburtz},
editor = {Elliott I. Organick and
Henry F. Ledgard and
Robert W. Taylor},
title = {Programming without Pointer Variables},
booktitle = {Proceedings of the {SIGPLAN} 1976 Conference on Data: Abstraction,
Definition and Structure, Salt Lake City, Utah, USA, March 22-24,
1976},
pages = {95--107},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800237.807127},
doi = {10.1145/800237.807127},
timestamp = {Tue, 31 Aug 2021 15:28:59 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/Kieburtz76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsmall/KieburtzH76,
author = {Richard B. Kieburtz and
John L. Hennessy},
editor = {T. Lewis and
L. Schutte},
title = {TOMAL-a high-level programming language for microprocessor process
control applications},
booktitle = {Proceedings of the {ACM} {SIGMINI/SIGPLAN} interface meeting on Programming
systems in the small processor environment, {SIGMINI} 1976, New Orleans,
Louisiana, USA, March 4-6, 1976},
pages = {127--134},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800236.807106},
doi = {10.1145/800236.807106},
timestamp = {Tue, 31 Aug 2021 15:28:59 +0200},
biburl = {https://dblp.org/rec/conf/sigsmall/KieburtzH76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KieburtzL72,
author = {Richard B. Kieburtz and
David C. Luckham},
title = {Compatibility and Complexity of Refinements of the Resolution Principle},
journal = {{SIAM} J. Comput.},
volume = {1},
number = {4},
pages = {313--332},
year = {1972},
url = {https://doi.org/10.1137/0201023},
doi = {10.1137/0201023},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KieburtzL72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/KieburtzN71,
author = {Richard B. Kieburtz and
Edmund E. Newhall},
title = {Balanced Magnetic Circuits for Logic and Memory Devices},
journal = {Adv. Comput.},
volume = {11},
pages = {231--317},
year = {1971},
url = {https://doi.org/10.1016/S0065-2458(08)60633-6},
doi = {10.1016/S0065-2458(08)60633-6},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ac/KieburtzN71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-01 20:26 CET 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:
