BibTeX records: Thomas P. Murtagh

download as .bib file

@inproceedings{DBLP:conf/sigcse/BruceDM10,
  author       = {Kim B. Bruce and
                  Andrea Pohoreckyj Danyluk and
                  Thomas P. Murtagh},
  editor       = {Gary Lewandowski and
                  Steven A. Wolfman and
                  Thomas J. Cortina and
                  Ellen Lowenfeld Walker},
  title        = {Introducing concurrency in {CS} 1},
  booktitle    = {Proceedings of the 41st {ACM} technical symposium on Computer science
                  education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
                  2010},
  pages        = {224--228},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1734263.1734341},
  doi          = {10.1145/1734263.1734341},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/BruceDM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/ParlanteZDVMMNSZ10,
  author       = {Nick Parlante and
                  Julie Zelenski and
                  Zachary Dodds and
                  Wynn Vonnegut and
                  David J. Malan and
                  Thomas P. Murtagh and
                  Todd W. Neller and
                  Mark Sherriff and
                  Daniel Zingaro},
  editor       = {Gary Lewandowski and
                  Steven A. Wolfman and
                  Thomas J. Cortina and
                  Ellen Lowenfeld Walker},
  title        = {Nifty assignments},
  booktitle    = {Proceedings of the 41st {ACM} technical symposium on Computer science
                  education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
                  2010},
  pages        = {478--479},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1734263.1734425},
  doi          = {10.1145/1734263.1734425},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/ParlanteZDVMMNSZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/ParlanteMSARSHR09,
  author       = {Nick Parlante and
                  Thomas P. Murtagh and
                  Mehran Sahami and
                  Owen L. Astrachan and
                  David Reed and
                  Christopher A. Stone and
                  Brent Heeringa and
                  Karen L. Reid},
  editor       = {Sue Fitzgerald and
                  Mark Guzdial and
                  Gary Lewandowski and
                  Steven A. Wolfman},
  title        = {Nifty assignments},
  booktitle    = {Proceedings of the 40th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2009, Chattanooga, TN, USA, March 4-7, 2009},
  pages        = {483--484},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1508865.1509031},
  doi          = {10.1145/1508865.1509031},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/ParlanteMSARSHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Murtagh07,
  author       = {Thomas P. Murtagh},
  editor       = {Ingrid Russell and
                  Susan M. Haller and
                  J. D. Dougherty and
                  Susan H. Rodger},
  title        = {Weaving {CS} into {CS1:} a doubly depth-first approach},
  booktitle    = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
  pages        = {336--340},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227310.1227429},
  doi          = {10.1145/1227310.1227429},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/Murtagh07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Murtagh07a,
  author       = {Thomas P. Murtagh},
  editor       = {Ingrid Russell and
                  Susan M. Haller and
                  J. D. Dougherty and
                  Susan H. Rodger},
  title        = {Squint: barely visible library support for {CS1}},
  booktitle    = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
  pages        = {526--530},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227310.1227489},
  doi          = {10.1145/1227310.1227489},
  timestamp    = {Tue, 09 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/Murtagh07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BruceDM05,
  author       = {Kim B. Bruce and
                  Andrea Pohoreckyj Danyluk and
                  Thomas P. Murtagh},
  editor       = {Wanda P. Dann and
                  Thomas L. Naps and
                  Paul T. Tymann and
                  Doug Baldwin},
  title        = {Why structural recursion should be taught before arrays in {CS} 1},
  booktitle    = {Proceedings of the 36th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2005, St. Louis, Missouri, USA, February 23-27,
                  2005},
  pages        = {246--250},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1047344.1047430},
  doi          = {10.1145/1047344.1047430},
  timestamp    = {Thu, 10 Jun 2021 16:43:03 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/BruceDM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BruceDM01,
  author       = {Kim B. Bruce and
                  Andrea Pohoreckyj Danyluk and
                  Thomas P. Murtagh},
  editor       = {Sally Fincher and
                  Bruce J. Klein and
                  Fintan Culwin and
                  Michael McCracken},
  title        = {Event-driven programming is simple enough for {CS1}},
  booktitle    = {Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2001, Canterbury,
                  UK, June 25-27, 2001},
  pages        = {1--4},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/377435.377440},
  doi          = {10.1145/377435.377440},
  timestamp    = {Fri, 12 Mar 2021 14:14:34 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/BruceDM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Murtagh01,
  author       = {Thomas P. Murtagh},
  editor       = {Sally Fincher and
                  Bruce J. Klein and
                  Fintan Culwin and
                  Michael McCracken},
  title        = {Teacing breadth-first depth-first},
  booktitle    = {Proceedings of the 6th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2001, Canterbury,
                  UK, June 25-27, 2001},
  pages        = {37--40},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/377435.377462},
  doi          = {10.1145/377435.377462},
  timestamp    = {Fri, 12 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/Murtagh01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BruceDM01,
  author       = {Kim B. Bruce and
                  Andrea Pohoreckyj Danyluk and
                  Thomas P. Murtagh},
  editor       = {Henry MacKay Walker and
                  Ren{\'{e}}e A. McCauley and
                  Judith L. Gersting and
                  Ingrid Russell},
  title        = {A library to support a graphics-based object-first approach to {CS}
                  1},
  booktitle    = {Proceedings of the 32rd {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2001, Charlotte, North Carolina, USA, 2001},
  pages        = {6--10},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/364447.364527},
  doi          = {10.1145/364447.364527},
  timestamp    = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/BruceDM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BruceCMGDM93,
  author       = {Kim B. Bruce and
                  Jonathan Crabtree and
                  Thomas P. Murtagh and
                  Robert van Gent and
                  Allyn Dimock and
                  Robert Muller},
  editor       = {Timlynn Babitsky and
                  Jim Salmons},
  title        = {Safe and Decidable Type Checking in an Object-Oriented Language},
  booktitle    = {Proceedings of the Eighth Annual Conference on Object-Oriented Programming
                  Systems, Languages, and Applications, {OOPSLA} 1993, Washington, DC,
                  USA, September 26 - October 1, 1993},
  pages        = {29--46},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165854.165865},
  doi          = {10.1145/165854.165865},
  timestamp    = {Wed, 30 Mar 2022 13:56:34 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BruceCMGDM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Murtagh91,
  author       = {Thomas P. Murtagh},
  title        = {An Improved Storage Management Scheme for Block Structured Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {13},
  number       = {3},
  pages        = {372--398},
  year         = {1991},
  url          = {https://doi.org/10.1145/117009.117016},
  doi          = {10.1145/117009.117016},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Murtagh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csys/ComerDM90,
  author       = {Douglas Comer and
                  Ralph E. Droms and
                  Thomas P. Murtagh},
  title        = {An Experimental Implementation of the Tilde Naming System},
  journal      = {Comput. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {487--515},
  year         = {1990},
  url          = {http://www.usenix.org/publications/compsystems/1990/fall\_comer.pdf},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csys/ComerDM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RuggieriM88,
  author       = {Cristina Ruggieri and
                  Thomas P. Murtagh},
  editor       = {Jeanne Ferrante and
                  Peter Mager},
  title        = {Lifetime Analysis of Dynamically Allocated Objects},
  booktitle    = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
                  of Programming Languages, San Diego, California, USA, January 10-13,
                  1988},
  pages        = {285--293},
  publisher    = {{ACM} Press},
  year         = {1988},
  url          = {https://doi.org/10.1145/73560.73585},
  doi          = {10.1145/73560.73585},
  timestamp    = {Thu, 16 Sep 2021 11:02:28 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/RuggieriM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Murtagh87,
  author       = {Thomas P. Murtagh},
  title        = {Redundant Proofs of Non-Interference in Levin-Gries {CSP} Program
                  Proofs},
  journal      = {Acta Informatica},
  volume       = {24},
  number       = {2},
  pages        = {145--156},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF00264361},
  doi          = {10.1007/BF00264361},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Murtagh87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Murtagh86,
  author       = {Thomas P. Murtagh},
  title        = {Eliminating Proofs of Non-interference from Levin-Gries {CSP} Program
                  Proofs},
  booktitle    = {Proceedings of the 6th International Conference on Distributed Computing
                  Systems, Cambridge, Massachusetts, USA, May 19-13, 1986},
  pages        = {494--499},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Wed, 27 Nov 2013 16:54:38 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/Murtagh86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ComerM86,
  author       = {Douglas Comer and
                  Thomas P. Murtagh},
  title        = {The Tilde File Naming Scheme},
  booktitle    = {Proceedings of the 6th International Conference on Distributed Computing
                  Systems, Cambridge, Massachusetts, USA, May 19-13, 1986},
  pages        = {509--514},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Wed, 27 Nov 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/ComerM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Murtagh84,
  author       = {Thomas P. Murtagh},
  editor       = {Ken Kennedy and
                  Mary S. Van Deusen and
                  Larry Landweber},
  title        = {A Less Dynamic Memory Allocation Scheme for Algol-like Languages},
  booktitle    = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles
                  of Programming Languages, Salt Lake City, Utah, USA, January 1984},
  pages        = {283--289},
  publisher    = {{ACM} Press},
  year         = {1984},
  url          = {https://doi.org/10.1145/800017.800540},
  doi          = {10.1145/800017.800540},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Murtagh84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics