default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rod M. Burstall
@inproceedings{DBLP:conf/birthday/Burstall06,
author = {Rod M. Burstall},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {My Friend Joseph Goguen},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {25--30},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_2},
doi = {10.1007/11780274\_2},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Burstall06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SatoSB01,
author = {Masahiko Sato and
Takafumi Sakurai and
Rod M. Burstall},
title = {Explicit Environments},
journal = {Fundam. Informaticae},
volume = {45},
number = {1-2},
pages = {79--115},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-1-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SatoSB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Burstall00,
author = {Rod M. Burstall},
title = {Christopher Strachey - Understanding Programming Languages},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {51--55},
year = {2000},
url = {https://doi.org/10.1023/A:1010052305354},
doi = {10.1023/A:1010052305354},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Burstall00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Burstall00,
author = {Rod M. Burstall},
editor = {David A. Wolfram},
title = {ProveEasy: helping people learn to do proofs},
booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
Australia, January 1-2, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {31},
pages = {16--32},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80327-5},
doi = {10.1016/S1571-0661(05)80327-5},
timestamp = {Fri, 11 Nov 2022 16:02:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Burstall00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SatoSB99,
author = {Masahiko Sato and
Takafumi Sakurai and
Rod M. Burstall},
editor = {Jean{-}Yves Girard},
title = {Explicit Environments},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {340--354},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_24},
doi = {10.1007/3-540-48959-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/SatoSB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GoguenBB99,
author = {Healfdene Goguen and
Richard Brooksby and
Rod M. Burstall},
editor = {Thierry Coquand and
Peter Dybjer and
Bengt Nordstr{\"{o}}m and
Jan M. Smith},
title = {Memory Management: An Abstract Formulation of Incremental Tracing},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
Sweden, June 12-16, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1956},
pages = {148--161},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44557-9\_9},
doi = {10.1007/3-540-44557-9\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/GoguenBB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Burstall95,
author = {Rod M. Burstall},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Inductively Defined Relations: {A} Brief Tutorial (Extended Abstract)},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {14--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_33},
doi = {10.1007/3-540-61629-2\_33},
timestamp = {Sat, 30 Sep 2023 09:37:34 +0200},
biburl = {https://dblp.org/rec/conf/compass/Burstall95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Burstall94,
author = {Rod M. Burstall},
title = {Terms, Proofs, and Refinement (Extended abstract)},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {2--7},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316092},
doi = {10.1109/LICS.1994.316092},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Burstall94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/McKinnaB93,
author = {James McKinna and
Rod M. Burstall},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Deliverables: {A} Categorial Approach to Program Development in Type
Theory},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {32--67},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_3},
doi = {10.1007/3-540-57182-5\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/McKinnaB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoguenB92,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Institutions: Abstract Model Theory for Specification and Programming},
journal = {J. {ACM}},
volume = {39},
number = {1},
pages = {95--146},
year = {1992},
url = {https://doi.org/10.1145/147508.147524},
doi = {10.1145/147508.147524},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoguenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Burstall92,
author = {Rod M. Burstall},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Extended Calculus of Constructions as a Specification Language (Abstract)},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {1},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_1},
doi = {10.1007/3-540-56625-2\_1},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Burstall92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TarleckiBG91,
author = {Andrzej Tarlecki and
Rod M. Burstall and
Joseph A. Goguen},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation:
Part 3: Indexed Categories},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {2},
pages = {239--264},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90085-G},
doi = {10.1016/0304-3975(91)90085-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TarleckiBG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068768,
author = {David E. Rydeheard and
Rod M. Burstall},
title = {Computational category theory},
series = {Prentice Hall International Series in Computer Science},
publisher = {Prentice Hall},
year = {1988},
isbn = {978-0-13-162736-9},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LampsonB88,
author = {Butler W. Lampson and
Rod M. Burstall},
title = {Pebble, a Kernel Language for Modules and Abstract Data Types},
journal = {Inf. Comput.},
volume = {76},
number = {2/3},
pages = {278--346},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90011-9},
doi = {10.1016/0890-5401(88)90011-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LampsonB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BurstallH88,
author = {Rod M. Burstall and
Furio Honsell},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {A Natural Deduction treatment of Operational Semantics},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {250--269},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_85},
doi = {10.1007/3-540-50517-2\_85},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BurstallH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Burstall87,
author = {Rod M. Burstall},
title = {Inductively Defined Functions in Functional Programming Languages},
journal = {J. Comput. Syst. Sci.},
volume = {34},
number = {2/3},
pages = {409--421},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90031-6},
doi = {10.1016/0022-0000(87)90031-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Burstall87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/GoguenB85,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Study in the Functions of Programming Methodology: Specifications,
Institutions, Charters and Parchments},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {313--333},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_131},
doi = {10.1007/3-540-17162-2\_131},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/GoguenB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/RydeheardB85,
author = {David E. Rydeheard and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Categorical Unification Algorithm},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {493--505},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_139},
doi = {10.1007/3-540-17162-2\_139},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/RydeheardB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/RydeheardB85a,
author = {David E. Rydeheard and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Computing with Categories},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {506--519},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_140},
doi = {10.1007/3-540-17162-2\_140},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/RydeheardB85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Burstall85,
author = {Rod M. Burstall},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Inductively Defined Functions (Extended Abstract)},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {92--96},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_6},
doi = {10.1007/3-540-15198-2\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Burstall85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part 1: Comma Categories, Colimits, Signatures and Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {175--209},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90134-8},
doi = {10.1016/0304-3975(84)90134-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84a,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part {II:} Signed and Abstract Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {263--295},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90036-7},
doi = {10.1016/0304-3975(84)90036-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Burstall84,
author = {Rod M. Burstall},
title = {Programming with Modules as Typed Functional Programming},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {103--112},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Burstall84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/BurstallL84,
author = {Rod M. Burstall and
Butler W. Lampson},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Kernel Language for Abstract Data Types and Modules},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {1--50},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_1},
doi = {10.1007/3-540-13346-1\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BurstallL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/SannellaB83,
author = {Donald Sannella and
Rod M. Burstall},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Structured Theories in {LCF}},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {377--391},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_24},
doi = {10.1007/3-540-12727-5\_24},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caap/SannellaB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GoguenB83,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Introducing Institutions},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {221--256},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_366},
doi = {10.1007/3-540-12896-4\_366},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/GoguenB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PettorossiB82,
author = {Alberto Pettorossi and
Rod M. Burstall},
title = {Deriving very Efficient Algorithms for Evaluating Linear Recurrence
Relations Using the Program Transformation Technique},
journal = {Acta Informatica},
volume = {18},
pages = {181--206},
year = {1982},
url = {https://doi.org/10.1007/BF00264438},
doi = {10.1007/BF00264438},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PettorossiB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BurstallMS80,
author = {Rod M. Burstall and
David B. MacQueen and
Donald Sannella},
title = {{HOPE:} An Experimental Applicative Language},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {136--143},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802799},
doi = {10.1145/800087.802799},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BurstallMS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Burstall80,
author = {Rod M. Burstall},
editor = {Piotr Dembinski},
title = {Electronic Category Theory},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {22--39},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022493},
doi = {10.1007/BFB0022493},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Burstall80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/WeinerB80,
author = {J. L. Weiner and
Rod M. Burstall},
editor = {Bernard J. Robinet},
title = {Making Programs more Readable},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {327--341},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_23},
doi = {10.1007/3-540-09981-6\_23},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/WeinerB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BurstallG79,
author = {Rod M. Burstall and
Joseph A. Goguen},
editor = {Dines Bj{\o}rner},
title = {The Semantics of CLEAR, {A} Specification Language},
booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January
22 - February 2, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {86},
pages = {292--332},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10007-5\_41},
doi = {10.1007/3-540-10007-5\_41},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/BurstallG79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BurstallD77,
author = {Rod M. Burstall and
John Darlington},
title = {A Transformation System for Developing Recursive Programs},
journal = {J. {ACM}},
volume = {24},
number = {1},
pages = {44--67},
year = {1977},
url = {https://doi.org/10.1145/321992.321996},
doi = {10.1145/321992.321996},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BurstallD77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BurstallG77,
author = {Rod M. Burstall and
Joseph A. Goguen},
editor = {Raj Reddy},
title = {Putting Theories Together to Make Specifications},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {1045--1058},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-2/Papers/095.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BurstallG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DarlingtonB76,
author = {John Darlington and
Rod M. Burstall},
title = {A System which Automatically Improves Programs},
journal = {Acta Informatica},
volume = {6},
pages = {41--60},
year = {1976},
url = {https://doi.org/10.1007/BF00263742},
doi = {10.1007/BF00263742},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DarlingtonB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BarrowB76,
author = {Harry G. Barrow and
Rod M. Burstall},
title = {Subgraph Isomorphism, Matching Relational Structures and Maximal Cliques},
journal = {Inf. Process. Lett.},
volume = {4},
number = {4},
pages = {83--84},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90049-1},
doi = {10.1016/0020-0190(76)90049-1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/BarrowB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmblerBBBP75,
author = {A. Patricia Ambler and
Harry G. Barrow and
Christopher M. Brown and
Rod M. Burstall and
Robin J. Popplestone},
title = {A Versatile System for Computer-Controlled Assembly},
journal = {Artif. Intell.},
volume = {6},
number = {2},
pages = {129--156},
year = {1975},
url = {https://doi.org/10.1016/0004-3702(75)90006-5},
doi = {10.1016/0004-3702(75)90006-5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AmblerBBBP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/relsoft/BurstallD75,
author = {Rod M. Burstall and
John Darlington},
editor = {Martin L. Shooman and
Raymond T. Yeh},
title = {Some transformations for developing recursive programs},
booktitle = {Proceedings of the International Conference on Reliable Software 1975,
Los Angeles, California, USA, April 21-23, 1975},
pages = {465--472},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800027.808470},
doi = {10.1145/800027.808470},
timestamp = {Mon, 21 Feb 2022 14:26:04 +0100},
biburl = {https://dblp.org/rec/conf/relsoft/BurstallD75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/BurstallT74,
author = {Rod M. Burstall and
James W. Thatcher},
editor = {Ernest G. Manes},
title = {The algebraic theory of recursive program schemes},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {126--131},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_71},
doi = {10.1007/3-540-07142-3\_71},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/BurstallT74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Burstall74,
author = {Rod M. Burstall},
editor = {Jack L. Rosenfeld},
title = {Program Proving as Hand Simulation with a Little Induction},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {308--312},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Burstall74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmblerBBBP73,
author = {A. Patricia Ambler and
Harry G. Barrow and
Christopher M. Brown and
Rod M. Burstall and
Robin J. Popplestone},
editor = {Nils J. Nilsson},
title = {A Versatile Computer-Controlled Assembly System},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {298--307},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:01 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AmblerBBBP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DarlingtonB73,
author = {John Darlington and
Rod M. Burstall},
editor = {Nils J. Nilsson},
title = {A System which Automatically Improves Programs},
booktitle = {Proceedings of the 3rd International Joint Conference on Artificial
Intelligence. Standford, CA, USA, August 20-23, 1973},
pages = {479--485},
publisher = {William Kaufmann},
year = {1973},
url = {http://ijcai.org/Proceedings/73/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DarlingtonB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/praapr/Burstall72,
author = {Rod M. Burstall},
title = {An algebraic description of programs with assertions, verification
and simulation},
booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs,
Las Cruces, New Mexico, USA, January 6-7, 1972},
pages = {7--14},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800235.807068},
doi = {10.1145/800235.807068},
timestamp = {Thu, 24 Feb 2022 14:21:36 +0100},
biburl = {https://dblp.org/rec/conf/praapr/Burstall72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Burstall69,
author = {Rod M. Burstall},
title = {Proving Properties of Programs by Structural Induction},
journal = {Comput. J.},
volume = {12},
number = {1},
pages = {41--48},
year = {1969},
url = {https://doi.org/10.1093/comjnl/12.1.41},
doi = {10.1093/COMJNL/12.1.41},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Burstall69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Burstall69a,
author = {Rod M. Burstall},
title = {A Program for Solving Word Sum Puzzles},
journal = {Comput. J.},
volume = {12},
number = {1},
pages = {48--51},
year = {1969},
url = {https://doi.org/10.1093/comjnl/12.1.48},
doi = {10.1093/COMJNL/12.1.48},
timestamp = {Sat, 11 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Burstall69a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Burstall68,
author = {Rod M. Burstall},
title = {Automation Theory and Learning Systems},
journal = {Comput. J.},
volume = {11},
number = {2},
pages = {168},
year = {1968},
url = {https://doi.org/10.1093/comjnl/11.2.168},
doi = {10.1093/COMJNL/11.2.168},
timestamp = {Mon, 13 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Burstall68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Burstall66,
author = {Rod M. Burstall},
title = {Book Review: Computer and Information Sciences, by J. T. Tou and R.
H. Wilcox, 1965; 544 pages},
journal = {Comput. J.},
volume = {9},
number = {1},
pages = {15},
year = {1966},
url = {https://doi.org/10.1093/comjnl/9.1.15},
doi = {10.1093/COMJNL/9.1.15},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Burstall66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Burstall66a,
author = {Rod M. Burstall},
title = {Computer Design of Electricity Supply Networks by a Heuristic Method},
journal = {Comput. J.},
volume = {9},
number = {3},
pages = {263--274},
year = {1966},
url = {https://doi.org/10.1093/comjnl/9.3.263},
doi = {10.1093/COMJNL/9.3.263},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Burstall66a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Burstall65,
author = {Rodney Martineau Burstall},
title = {Heuristic and decision tree methods on computers : some operational
research applications},
school = {University of Birmingham, {UK}},
year = {1965},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.450317},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Burstall65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-04-25 05:49 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:
