BibTeX records: Robert D. Tennent

download as .bib file

@article{DBLP:journals/tcs/HermidaT12,
  author       = {Claudio Hermida and
                  Robert D. Tennent},
  title        = {Monoidal indeterminates and categories of possible worlds},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {3--22},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.001},
  doi          = {10.1016/J.TCS.2012.01.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HermidaT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Tennent09,
  author       = {Robert D. Tennent},
  title        = {An introduction to Landin's "Getting Rid of Labels"},
  journal      = {High. Order Symb. Comput.},
  volume       = {22},
  number       = {4},
  pages        = {313--314},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10990-010-9056-6},
  doi          = {10.1007/S10990-010-9056-6},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Tennent09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HermidaT09,
  author       = {Claudio Hermida and
                  Robert D. Tennent},
  editor       = {Samson Abramsky and
                  Michael W. Mislove and
                  Catuscia Palamidessi},
  title        = {Monoidal Indeterminates and Categories of Possible Worlds},
  booktitle    = {Proceedings of the 25th Conference on Mathematical Foundations of
                  Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {249},
  pages        = {39--60},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.083},
  doi          = {10.1016/J.ENTCS.2009.07.083},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HermidaT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HermidaT07,
  author       = {Claudio Hermida and
                  Robert D. Tennent},
  title        = {A fibrational framework for possible-world semantics of Algol-like
                  languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {375},
  number       = {1-3},
  pages        = {3--19},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2006.12.025},
  doi          = {10.1016/J.TCS.2006.12.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HermidaT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0006281,
  author       = {Robert D. Tennent},
  title        = {Specifying software - a hands-on introduction},
  publisher    = {Cambridge University Press},
  year         = {2002},
  isbn         = {978-0-521-00401-5},
  timestamp    = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0006281.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/TennentG00,
  author       = {Robert D. Tennent and
                  Dan R. Ghica},
  title        = {Abstract Models of Storage},
  journal      = {High. Order Symb. Comput.},
  volume       = {13},
  number       = {1/2},
  pages        = {119--129},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1010022312623},
  doi          = {10.1023/A:1010022312623},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/TennentG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PlotkinPST00,
  author       = {Gordon D. Plotkin and
                  John Power and
                  Donald Sannella and
                  Robert D. Tennent},
  editor       = {Ugo Montanari and
                  Jos{\'{e}} D. P. Rolim and
                  Emo Welzl},
  title        = {Lax Logical Relations},
  booktitle    = {Automata, Languages and Programming, 27th International Colloquium,
                  {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1853},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45022-X\_9},
  doi          = {10.1007/3-540-45022-X\_9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PlotkinPST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Freyd99a,
  author       = {Peter J. Freyd and
                  Peter W. O'Hearn and
                  A. John Power and
                  Makoto Takeyama and
                  R. Street and
                  Robert D. Tennent},
  title        = {Bireflectivity},
  journal      = {Theor. Comput. Sci.},
  volume       = {228},
  number       = {1-2},
  pages        = {49--76},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00354-5},
  doi          = {10.1016/S0304-3975(98)00354-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Freyd99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OHearnPTT99,
  author       = {Peter W. O'Hearn and
                  John Power and
                  Makoto Takeyama and
                  Robert D. Tennent},
  title        = {Syntactic Control of Interference Revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {228},
  number       = {1-2},
  pages        = {211--252},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00359-4},
  doi          = {10.1016/S0304-3975(98)00359-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OHearnPTT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KinoshitaOPTT97,
  author       = {Yoshiki Kinoshita and
                  Peter W. O'Hearn and
                  John Power and
                  Makoto Takeyama and
                  Robert D. Tennent},
  editor       = {Mart{\'{\i}}n Abadi and
                  Takayasu Ito},
  title        = {An Axiomatic Approach to Binary Logical Relations with Applications
                  to Data Refinement},
  booktitle    = {Theoretical Aspects of Computer Software, Third International Symposium,
                  {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1281},
  pages        = {191--212},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014552},
  doi          = {10.1007/BFB0014552},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/KinoshitaOPTT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/OHearnT95,
  author       = {Peter W. O'Hearn and
                  Robert D. Tennent},
  title        = {Parametricity and Local Variables},
  journal      = {J. {ACM}},
  volume       = {42},
  number       = {3},
  pages        = {658--709},
  year         = {1995},
  url          = {https://doi.org/10.1145/210346.210425},
  doi          = {10.1145/210346.210425},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/OHearnT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreydOPTT95,
  author       = {Peter J. Freyd and
                  Peter W. O'Hearn and
                  John Power and
                  Robert D. Tennent and
                  Makoto Takeyama},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove},
  title        = {Bireflectivity},
  booktitle    = {Eleventh Annual Conference on Mathematical Foundations of Programming
                  Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
                  29 - April 1, 1995},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {1},
  pages        = {199--213},
  publisher    = {Elsevier},
  year         = {1995},
  url          = {https://doi.org/10.1016/S1571-0661(04)80011-2},
  doi          = {10.1016/S1571-0661(04)80011-2},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FreydOPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OHearnPTT95,
  author       = {Peter W. O'Hearn and
                  John Power and
                  Robert D. Tennent and
                  Makoto Takeyama},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove},
  title        = {Syntactic control of interference revisited},
  booktitle    = {Eleventh Annual Conference on Mathematical Foundations of Programming
                  Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
                  29 - April 1, 1995},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {1},
  pages        = {447--486},
  publisher    = {Elsevier},
  year         = {1995},
  url          = {https://doi.org/10.1016/S1571-0661(04)00026-X},
  doi          = {10.1016/S1571-0661(04)00026-X},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OHearnPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OHearnT93,
  author       = {Peter W. O'Hearn and
                  Robert D. Tennent},
  title        = {Semantical Analysis of Specification Logic, 2},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {25--57},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1060},
  doi          = {10.1006/INCO.1993.1060},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OHearnT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OHearnT93,
  author       = {Peter W. O'Hearn and
                  Robert D. Tennent},
  editor       = {Mary S. Van Deusen and
                  Bernard Lang},
  title        = {Relational Parametricity and Local Variables},
  booktitle    = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Charleston, South Carolina,
                  USA, January 1993},
  pages        = {171--184},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/158511.158624},
  doi          = {10.1145/158511.158624},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/OHearnT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067039,
  author       = {Robert D. Tennent},
  title        = {Semantics of programming languages},
  series       = {Prentice Hall International Series in Computer Science},
  publisher    = {Prentice Hall},
  year         = {1991},
  isbn         = {978-0-13-805599-8},
  timestamp    = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0067039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TennentT91,
  author       = {Robert D. Tennent and
                  J. K. Tobin},
  title        = {Continuations in Possible-World Semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {85},
  number       = {2},
  pages        = {283--303},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90184-4},
  doi          = {10.1016/0304-3975(91)90184-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TennentT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Tennent91,
  author       = {Robert D. Tennent},
  editor       = {David H. Pitt and
                  Pierre{-}Louis Curien and
                  Samson Abramsky and
                  Andrew M. Pitts and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Local Variables and Non-Interference in Algol-like Languages},
  booktitle    = {Category Theory and Computer Science, 4th International Conference,
                  Paris, France, September 3-6, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {530},
  pages        = {34--36},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013455},
  doi          = {10.1007/BFB0013455},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/Tennent91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Tennent90,
  author       = {Robert D. Tennent},
  title        = {Semantical Analysis of Specification Logic},
  journal      = {Inf. Comput.},
  volume       = {85},
  number       = {2},
  pages        = {135--162},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90045-J},
  doi          = {10.1016/0890-5401(90)90045-J},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Tennent90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Tennent89,
  author       = {Robert D. Tennent},
  title        = {Elementary Data Structures in ALGOL-Like Languages},
  journal      = {Sci. Comput. Program.},
  volume       = {13},
  number       = {1},
  pages        = {73--110},
  year         = {1989},
  url          = {https://doi.org/10.1016/0167-6423(89)90016-6},
  doi          = {10.1016/0167-6423(89)90016-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Tennent89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tennent87,
  author       = {Robert D. Tennent},
  title        = {A Note on Undefined Expression Values in Programming Logics},
  journal      = {Inf. Process. Lett.},
  volume       = {24},
  number       = {5},
  pages        = {331--333},
  year         = {1987},
  url          = {https://doi.org/10.1016/0020-0190(87)90158-X},
  doi          = {10.1016/0020-0190(87)90158-X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Tennent87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tennent87a,
  author       = {Robert D. Tennent},
  title        = {Quantification in Algol-Like Languages},
  journal      = {Inf. Process. Lett.},
  volume       = {25},
  number       = {2},
  pages        = {133--137},
  year         = {1987},
  url          = {https://doi.org/10.1016/0020-0190(87)90233-X},
  doi          = {10.1016/0020-0190(87)90233-X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Tennent87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Tennent85,
  author       = {Robert D. Tennent},
  title        = {A Comparison of the {ANSI} and {ISO} Pascal Word Standards},
  journal      = {Softw. Pract. Exp.},
  volume       = {15},
  number       = {8},
  pages        = {821--822},
  year         = {1985},
  url          = {https://doi.org/10.1002/spe.4380150808},
  doi          = {10.1002/SPE.4380150808},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Tennent85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Tennent85,
  author       = {Robert D. Tennent},
  editor       = {David H. Pitt and
                  Samson Abramsky and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Functor - Category Semantics of Programming Languages and Logics},
  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        = {206--224},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17162-2\_124},
  doi          = {10.1007/3-540-17162-2\_124},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/Tennent85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Tennent85,
  author       = {Robert D. Tennent},
  editor       = {Rohit Parikh},
  title        = {Semantical Analysis of Specification Logic},
  booktitle    = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
                  June 17-19, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {193},
  pages        = {373--386},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15648-8\_28},
  doi          = {10.1007/3-540-15648-8\_28},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Tennent85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Tennent83,
  author       = {Robert D. Tennent},
  title        = {Some Proposals for Improving Pascal},
  journal      = {Comput. Lang.},
  volume       = {8},
  number       = {3/4},
  pages        = {125--137},
  year         = {1983},
  url          = {https://doi.org/10.1016/0096-0551(83)90017-6},
  doi          = {10.1016/0096-0551(83)90017-6},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Tennent83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Tennent83,
  author       = {Robert D. Tennent},
  title        = {An alternative to conformant-array parameters in Pascal},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {18},
  number       = {10},
  pages        = {38--43},
  year         = {1983},
  url          = {https://doi.org/10.1145/988175.988183},
  doi          = {10.1145/988175.988183},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Tennent83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tennent83,
  author       = {Robert D. Tennent},
  title        = {Semantics of Interference Control},
  journal      = {Theor. Comput. Sci.},
  volume       = {27},
  pages        = {297--310},
  year         = {1983},
  url          = {https://doi.org/10.1016/0304-3975(82)90123-2},
  doi          = {10.1016/0304-3975(82)90123-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Tennent83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Tennent82,
  author       = {Robert D. Tennent},
  title        = {Two Examples of Block Structuring},
  journal      = {Softw. Pract. Exp.},
  volume       = {12},
  number       = {4},
  pages        = {385--392},
  year         = {1982},
  url          = {https://doi.org/10.1002/spe.4380120410},
  doi          = {10.1002/SPE.4380120410},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Tennent82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Tennent82,
  author       = {Robert D. Tennent},
  editor       = {Mogens Nielsen and
                  Erik Meineche Schmidt},
  title        = {Semantics of Interference Control},
  booktitle    = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
                  July 12-16, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {140},
  pages        = {532--545},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0012798},
  doi          = {10.1007/BFB0012798},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Tennent82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067034,
  author       = {Robert D. Tennent},
  title        = {Principles of programming languages},
  series       = {Prentice Hall International Series in Computer Science},
  publisher    = {Prentice Hall},
  year         = {1981},
  isbn         = {978-0-13-709873-6},
  timestamp    = {Thu, 05 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0067034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Tennent78,
  author       = {Robert D. Tennent},
  title        = {Another Look at Type Compatibility in Pascal},
  journal      = {Softw. Pract. Exp.},
  volume       = {8},
  number       = {4},
  pages        = {429--437},
  year         = {1978},
  url          = {https://doi.org/10.1002/spe.4380080407},
  doi          = {10.1002/SPE.4380080407},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Tennent78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Tennent77,
  author       = {Robert D. Tennent},
  title        = {Language Design Methods Based on Semantic Principles},
  journal      = {Acta Informatica},
  volume       = {8},
  pages        = {97--112},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00289243},
  doi          = {10.1007/BF00289243},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Tennent77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Tennent77a,
  author       = {Robert D. Tennent},
  title        = {On a New Approach to Representation Independent Data Classes},
  journal      = {Acta Informatica},
  volume       = {8},
  pages        = {315--324},
  year         = {1977},
  url          = {https://doi.org/10.1007/BF00271340},
  doi          = {10.1007/BF00271340},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Tennent77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Tennent76,
  author       = {Robert D. Tennent},
  title        = {The Denotational Semantics of Programming Languages},
  journal      = {Commun. {ACM}},
  volume       = {19},
  number       = {8},
  pages        = {437--453},
  year         = {1976},
  url          = {https://doi.org/10.1145/360303.360308},
  doi          = {10.1145/360303.360308},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Tennent76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FennerJT73,
  author       = {Trevor I. Fenner and
                  Michael A. Jenkins and
                  Robert D. Tennent},
  title        = {{QUEST:} the design of a very high level, pedagogic programming language},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {8},
  number       = {2},
  pages        = {3--27},
  year         = {1973},
  url          = {https://doi.org/10.1145/953353.953354},
  doi          = {10.1145/953353.953354},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/FennerJT73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/JenkinsT73,
  author       = {Michael A. Jenkins and
                  Robert D. Tennent},
  title        = {The design and implementation of quest, a very high level pedagogic
                  programming language},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {8},
  number       = {6},
  pages        = {50--51},
  year         = {1973},
  url          = {https://doi.org/10.1145/986953.986977},
  doi          = {10.1145/986953.986977},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/JenkinsT73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Tennent73,
  author       = {Robert D. Tennent},
  editor       = {Patrick C. Fischer and
                  Jeffrey D. Ullman},
  title        = {Mathematical Semantics of Snobol 4},
  booktitle    = {Conference Record of the {ACM} Symposium on Principles of Programming
                  Languages, Boston, Massachusetts, USA, October 1973},
  pages        = {95--107},
  publisher    = {{ACM} Press},
  year         = {1973},
  url          = {https://doi.org/10.1145/512927.512936},
  doi          = {10.1145/512927.512936},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Tennent73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics