BibTeX records: F. Lockwood Morris

download as .bib file

@article{DBLP:journals/tcs/Morris07,
  author    = {F. Lockwood Morris},
  title     = {A few exercises in theorem processing},
  journal   = {Theor. Comput. Sci.},
  volume    = {375},
  number    = {1-3},
  pages     = {335--345},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2006.12.037},
  doi       = {10.1016/j.tcs.2006.12.037},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Morris07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ConnellyM95,
  author    = {Richard H. Connelly and
               F. Lockwood Morris},
  title     = {A Generalization of the Trie Data Structure},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {5},
  number    = {3},
  pages     = {381--418},
  year      = {1995},
  url       = {https://doi.org/10.1017/S0960129500000803},
  doi       = {10.1017/S0960129500000803},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/ConnellyM95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FilippenkoM92,
  author    = {Ivan Filippenko and
               F. Lockwood Morris},
  title     = {Domains for Logic Programming},
  journal   = {Theor. Comput. Sci.},
  volume    = {94},
  number    = {1},
  pages     = {63--99},
  year      = {1992},
  url       = {https://doi.org/10.1016/0304-3975(92)90324-9},
  doi       = {10.1016/0304-3975(92)90324-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/FilippenkoM92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/MorrisJ84,
  author    = {F. Lockwood Morris and
               Cliff B. Jones},
  title     = {An Early Program Proof by Alan Turing},
  journal   = {{IEEE} Ann. Hist. Comput.},
  volume    = {6},
  number    = {2},
  pages     = {139--143},
  year      = {1984},
  url       = {https://doi.org/10.1109/MAHC.1984.10017},
  doi       = {10.1109/MAHC.1984.10017},
  timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/annals/MorrisJ84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Morris82,
  author    = {F. Lockwood Morris},
  title     = {Another Compacting Garbage Collector},
  journal   = {Inf. Process. Lett.},
  volume    = {15},
  number    = {4},
  pages     = {139--142},
  year      = {1982},
  url       = {https://doi.org/10.1016/0020-0190(82)90094-1},
  doi       = {10.1016/0020-0190(82)90094-1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ipl/Morris82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Morris78,
  author    = {F. Lockwood Morris},
  title     = {A Time- and Space-Efficient Garbage Compaction Algorithm},
  journal   = {Commun. {ACM}},
  volume    = {21},
  number    = {8},
  pages     = {662--665},
  year      = {1978},
  url       = {https://doi.org/10.1145/359576.359583},
  doi       = {10.1145/359576.359583},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cacm/Morris78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Morris73a,
  author    = {F. Lockwood Morris},
  editor    = {Patrick C. Fischer and
               Jeffrey D. Ullman},
  title     = {Advice on Structuring Compilers and Proving Them Correct},
  booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
               Languages, Boston, Massachusetts, USA, October 1973},
  pages     = {144--152},
  publisher = {{ACM} Press},
  year      = {1973},
  url       = {https://doi.org/10.1145/512927.512941},
  doi       = {10.1145/512927.512941},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/Morris73a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics