Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Robert D. Tennent
@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} }
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.