{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:24Z","timestamp":1750220244950,"version":"3.41.0"},"publisher-location":"New York, NY, USA","edition-number":"1","reference-count":45,"publisher":"ACM","isbn-type":[{"type":"print","value":"9781450387286"}],"license":[{"start":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T00:00:00Z","timestamp":1633132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,4]]},"DOI":"10.1145\/3477355.3477366","type":"book-chapter","created":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T05:44:55Z","timestamp":1633239895000},"page":"223-250","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Teaching at Belfast and Oxford"],"prefix":"10.1145","author":[{"given":"Bernard","family":"Sufrin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J.-R. Abrial S. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. MacNaughten (Eds.). On the Construction of Programs: An Advanced Course 343.  J.-R. Abrial S. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. MacNaughten (Eds.). On the Construction of Programs: An Advanced Course 343."},{"volume-title":"About the","key":"e_1_3_2_1_2_1","unstructured":"Anon. About the ( University of Oxford) Department of Computer Science . http:\/\/www.cs.ox.ac.uk\/aboutus\/cshistory.html. Anon. About the (University of Oxford) Department of Computer Science. http:\/\/www.cs.ox.ac.uk\/aboutus\/cshistory.html."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2019.2930609"},{"volume-title":"Introduction to Functional Programming in Haskell","author":"Bird R.","key":"e_1_3_2_1_4_1","unstructured":"R. Bird . 1995. Introduction to Functional Programming in Haskell . Prentice Hall International Series in Computer Science, Prentice Hall . R. Bird. 1995. Introduction to Functional Programming in Haskell. Prentice Hall International Series in Computer Science, Prentice Hall."},{"volume-title":"An Introduction to the Theory of Lists. Technical Monograph PRG56","author":"Bird R. S.","key":"e_1_3_2_1_5_1","unstructured":"R. S. Bird . Oct. 1986. An Introduction to the Theory of Lists. Technical Monograph PRG56 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. R. S. Bird. Oct. 1986. An Introduction to the Theory of Lists. Technical Monograph PRG56, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"e_1_3_2_1_7_1","unstructured":"R. Bird and P. Wadler. 1988. Introduction to Functional Programming. Prentice Hall International Series in Computer Science Prentice Hall.  R. Bird and P. Wadler. 1988. Introduction to Functional Programming . Prentice Hall International Series in Computer Science Prentice Hall."},{"key":"e_1_3_2_1_8_1","unstructured":"J. K. Buckle. 1977. Managing Software Projects. Macdonald.  J. K. Buckle. 1977. Managing Software Projects. Macdonald."},{"volume-title":"International Conference on Computer Aided Verification. Springer, 430\u2013446","author":"Chudnov A.","key":"e_1_3_2_1_9_1","unstructured":"A. Chudnov , N. Collins , B. Cook , J. Dodds , B. Huffman , C. MacC\u00e1rthaigh , S. Magill , E. Mertens , E. Mullen , S. Tasiran , A. Tomb , and E. Westbrook . 2018. Continuous formal verification of Amazon s2n . In International Conference on Computer Aided Verification. Springer, 430\u2013446 . A. Chudnov, N. Collins, B. Cook, J. Dodds, B. Huffman, C. MacC\u00e1rthaigh, S. Magill, E. Mertens, E. Mullen, S. Tasiran, A. Tomb, and E. Westbrook. 2018. Continuous formal verification of Amazon s2n. In International Conference on Computer Aided Verification. Springer, 430\u2013446."},{"key":"e_1_3_2_1_10_1","unstructured":"O. J. Dahl E. W. Dijkstra and C. A. R. Hoare (Eds.). 1972. Structured Programming. Academic Press Ltd. England. ISBN 0122005503.  O. J. Dahl E. W. Dijkstra and C. A. R. Hoare (Eds.). 1972. Structured Programming . Academic Press Ltd. England. ISBN 0122005503."},{"volume-title":"The Specification of Abstract Mappings and Their Implementation as B Trees. Technical Monograph PRG18","author":"Fielding E.","key":"e_1_3_2_1_11_1","unstructured":"E. Fielding . 1980. The Specification of Abstract Mappings and Their Implementation as B Trees. Technical Monograph PRG18 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. E. Fielding. 1980. The Specification of Abstract Mappings and Their Implementation as B Trees. Technical Monograph PRG18, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"volume-title":"Advances in Programming & Non-Numerical Computation (Proceedings of a Summer School)","author":"Fox L.","key":"e_1_3_2_1_12_1","unstructured":"L. Fox . 1966. Advances in Programming & Non-Numerical Computation (Proceedings of a Summer School) . Pergamon Press . L. Fox. 1966. Advances in Programming & Non-Numerical Computation (Proceedings of a Summer School). Pergamon Press."},{"key":"e_1_3_2_1_13_1","unstructured":"I. Hayes (Ed.). 1987. Specification Case Studies. Prentice Hall International Series in Computer Science Prentice Hall.  I. Hayes (Ed.). 1987. Specification Case Studies . Prentice Hall International Series in Computer Science Prentice Hall."},{"key":"e_1_3_2_1_14_1","volume-title":"Computer Science: An Inaugural Lecture Delivered Before the Queen\u2019s University of Belfast on","author":"Hoare C. A. R.","year":"1971","unstructured":"C. A. R. Hoare . 1971 . Computer Science: An Inaugural Lecture Delivered Before the Queen\u2019s University of Belfast on 10 February 1971. Queen\u2019s University . C. A. R. Hoare. 1971. Computer Science: An Inaugural Lecture Delivered Before the Queen\u2019s University of Belfast on 10 February 1971. Queen\u2019s University."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/358549.358561"},{"volume-title":"Programming is an Engineering Profession. Technical Monograph PRG27","author":"Hoare C. A. R.","key":"e_1_3_2_1_16_1","unstructured":"C. A. R. Hoare . 1982. Programming is an Engineering Profession. Technical Monograph PRG27 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. C. A. R. Hoare. 1982. Programming is an Engineering Profession. Technical Monograph PRG27, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","key":"e_1_3_2_1_17_1","unstructured":"C. A. R. Hoare . 1985. Communicating Sequential Processes . Prentice Hall International Series in Computer Science. Prentice Hall , Englewood Cliffs, NJ. ISBN 978-0-13-153271-7. http:\/\/www.usingcsp.com\/cspbook.pdf. C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs, NJ. ISBN 978-0-13-153271-7. http:\/\/www.usingcsp.com\/cspbook.pdf."},{"volume-title":"The Mathematics of Programming","author":"Hoare C. A. R.","key":"e_1_3_2_1_18_1","unstructured":"C. A. R. Hoare . 1986. The Mathematics of Programming . Oxford University Press . C. A. R. Hoare. 1986. The Mathematics of Programming. Oxford University Press."},{"volume-title":"Recent Trends in Data Type Specification","author":"Hoare C. A. R.","key":"e_1_3_2_1_19_1","unstructured":"C. A. R. Hoare . 1995. Unification of theories: A challenge for computing science . In Recent Trends in Data Type Specification . Springer , 49\u201357. C. A. R. Hoare. 1995. Unification of theories: A challenge for computing science. In Recent Trends in Data Type Specification. Springer, 49\u201357."},{"volume-title":"ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones","author":"Hoare C. A. R.","key":"e_1_3_2_1_20_1","unstructured":"C. A. R. Hoare and C. B. Jones . Nov . 2015a. An interview with Tony Hoare , ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones , Newcastle University). https:\/\/www.youtube.com\/watch?v=tAl6wzDTrJA. C. A. R. Hoare and C. B. Jones. Nov. 2015a. An interview with Tony Hoare, ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones, Newcastle University). https:\/\/www.youtube.com\/watch?v=tAl6wzDTrJA."},{"volume-title":"ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones","author":"Hoare C. A. R.","key":"e_1_3_2_1_21_1","unstructured":"C. A. R. Hoare and C. B. Jones . Nov . 2015b. Transcript of an interview with Tony Hoare , ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones , Newcastle University). https:\/\/amturing.acm.org\/pdf\/HoareTuringTranscript.pdf. C. A. R. Hoare and C. B. Jones. Nov. 2015b. Transcript of an interview with Tony Hoare, ACM 1980 Turing Award Recipient (Interviewer: Cliff Jones, Newcastle University). https:\/\/amturing.acm.org\/pdf\/HoareTuringTranscript.pdf."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/27651.27653"},{"key":"e_1_3_2_1_23_1","volume-title":"Software Development: A Rigorous Approach","author":"Jones C. B.","year":"1980","unstructured":"C. B. Jones . 1980 . Software Development: A Rigorous Approach . Prentice Hall International Series in Computer Science, Prentice Hall . C. B. Jones. 1980. Software Development: A Rigorous Approach. Prentice Hall International Series in Computer Science, Prentice Hall."},{"key":"e_1_3_2_1_24_1","unstructured":"C. Mead and L. Conway. 1979. Introduction to VLSI Systems. Addison-Welsey. ISBN 10: 0201043580\/ISBN 13: 9780201043587.  C. Mead and L. Conway. 1979. Introduction to VLSI Systems . Addison-Welsey. ISBN 10: 0201043580\/ISBN 13: 9780201043587."},{"volume-title":"Programming from Specifications (2nd. ed.)","author":"Morgan C.","key":"e_1_3_2_1_25_1","unstructured":"C. Morgan . 1994. Programming from Specifications (2nd. ed.) . Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 978-0-13-123274-7. C. Morgan. 1994. Programming from Specifications (2nd. ed.). Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 978-0-13-123274-7."},{"volume-title":"Engineering Trustworthy Software Systems","author":"Morgan C.","key":"e_1_3_2_1_26_1","unstructured":"C. Morgan . 2016. (In-) Formal methods : The lost art . In Engineering Trustworthy Software Systems . Springer , 1\u201379. C. Morgan. 2016. (In-) Formal methods: The lost art. In Engineering Trustworthy Software Systems. Springer, 1\u201379."},{"volume-title":"Commentary on the Mathematical Semantics of Algol 60. Technical Monograph PRG12-Commentary","author":"Mosses P.","key":"e_1_3_2_1_27_1","unstructured":"P. Mosses . 1974a. Commentary on the Mathematical Semantics of Algol 60. Technical Monograph PRG12-Commentary , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. P. Mosses. 1974a. Commentary on the Mathematical Semantics of Algol 60. Technical Monograph PRG12-Commentary, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"volume-title":"The Mathematical Semantics of Algol 60. Technical Monograph PRG12","author":"Mosses P.","key":"e_1_3_2_1_28_1","unstructured":"P. Mosses . 1974b. The Mathematical Semantics of Algol 60. Technical Monograph PRG12 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. P. Mosses. 1974b. The Mathematical Semantics of Algol 60. Technical Monograph PRG12, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"volume-title":"Mathematical Semantics and Compiler Generation. D. Phil Thesis","author":"Mosses P. D.","key":"e_1_3_2_1_29_1","unstructured":"P. D. Mosses . 1975. Mathematical Semantics and Compiler Generation. D. Phil Thesis , University of Oxford , Oxford, England . P. D. Mosses. 1975. Mathematical Semantics and Compiler Generation. D. Phil Thesis, University of Oxford, Oxford, England."},{"volume-title":"SIS\u2014Semantics implementation system. Reference Manual and User Guide. Report DAIMI MD-30","author":"Mosses P. D.","key":"e_1_3_2_1_30_1","unstructured":"P. D. Mosses . 1979. SIS\u2014Semantics implementation system. Reference Manual and User Guide. Report DAIMI MD-30 , Univ. Aarhus . P. D. Mosses. 1979. SIS\u2014Semantics implementation system. Reference Manual and User Guide. Report DAIMI MD-30, Univ. Aarhus."},{"volume-title":"Outline of a Mathematical Theory of Computation. Technical Monograph PRG2","author":"Scott D. S.","key":"e_1_3_2_1_31_1","unstructured":"D. S. Scott . 1970. Outline of a Mathematical Theory of Computation. Technical Monograph PRG2 , Oxford University Computing Laboratory, Programming Research Group , Oxford, England. D. S. Scott. 1970. Outline of a Mathematical Theory of Computation. Technical Monograph PRG2, Oxford University Computing Laboratory, Programming Research Group, Oxford, England."},{"key":"e_1_3_2_1_32_1","unstructured":"D. S. Scott and C. Strachey. 1971. Toward a Mathematical Semantics for Computer Languages. Technical Monograph PRG6 Oxford University Computing Laboratory Programming Research Group Oxford England.  D. S. Scott and C. Strachey. 1971. Toward a Mathematical Semantics for Computer Languages . Technical Monograph PRG6 Oxford University Computing Laboratory Programming Research Group Oxford England."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467261"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/15.2.117"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/15.3.195"},{"key":"e_1_3_2_1_36_1","unstructured":"J. E. Stoy and C. Strachey. 1972c. OS\/Pub (text and commentary). Technical Monograph PRG9 Oxford University Computing Laboratory Programming Research Group Oxford England.  J. E. Stoy and C. Strachey. 1972c. OS\/Pub (text and commentary) . Technical Monograph PRG9 Oxford University Computing Laboratory Programming Research Group Oxford England."},{"key":"e_1_3_2_1_37_1","first-page":"1","article-title":"Fundamental concepts in programming languages (republished 1967 lecture notes)","volume":"13","author":"Strachey C.","year":"2000","unstructured":"C. Strachey . 2000 . Fundamental concepts in programming languages (republished 1967 lecture notes) . Higher-Order Symb. Comput. 13 , 1 \u2013 2 , 11\u201349. C. Strachey. 2000. Fundamental concepts in programming languages (republished 1967 lecture notes). Higher-Order Symb. Comput. 13, 1\u20132, 11\u201349.","journal-title":"Higher-Order Symb. Comput."},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"Continuations: A mathematical semantics for handling full jumps (republished 1974 monograph)","volume":"13","author":"Strachey C.","year":"2000","unstructured":"C. Strachey and C. P. Wadsworth . 2000 . Continuations: A mathematical semantics for handling full jumps (republished 1974 monograph) . Higher-Order Symb. Comput. 13 , 1 \u2013 2 , 135\u2013152. C. Strachey and C. P. Wadsworth. 2000. Continuations: A mathematical semantics for handling full jumps (republished 1974 monograph). Higher-Order Symb. Comput. 13, 1\u20132, 135\u2013152.","journal-title":"Higher-Order Symb. Comput."},{"key":"e_1_3_2_1_39_1","unstructured":"B. Sufrin. 2007. Oxford University Computing Laboratory: An informal prehistory\u2014A lecture given at the 50th anniversary celebration of the founding of the laboratory. https:\/\/www.cs.ox.ac.uk\/people\/bernard.sufrin\/personal\/historyfortalk.pdf.  B. Sufrin. 2007. Oxford University Computing Laboratory: An informal prehistory\u2014A lecture given at the 50th anniversary celebration of the founding of the laboratory. https:\/\/www.cs.ox.ac.uk\/people\/bernard.sufrin\/personal\/historyfortalk.pdf."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380091109"},{"key":"e_1_3_2_1_41_1","unstructured":"J. Welsh and J. Elder. 1979. Introduction to Pascal. Prentice\/Hall International Englewood Cliffs NJ. ISBN 0134915224.  J. Welsh and J. Elder. 1979. Introduction to Pascal . Prentice\/Hall International Englewood Cliffs NJ. ISBN 0134915224."},{"volume-title":"Structured System Programming","author":"Welsh J.","key":"e_1_3_2_1_42_1","unstructured":"J. Welsh and R. M. McKeag . 1980. Structured System Programming . Prentice\/Hall International Englewood Cliffs , NJ. ISBN 0138545626. J. Welsh and R. M. McKeag. 1980. Structured System Programming. Prentice\/Hall International Englewood Cliffs, NJ. ISBN 0138545626."},{"key":"e_1_3_2_1_43_1","unstructured":"J. Welsh and A. Hay. 1986. A Model Implementation of Standard Pascal. Prentice\/Hall International Englewood Cliffs NJ. ISBN 0135864542.  J. Welsh and A. Hay. 1986. A Model Implementation of Standard Pascal . Prentice\/Hall International Englewood Cliffs NJ. ISBN 0135864542."},{"key":"e_1_3_2_1_44_1","unstructured":"J. Welsh J. Elder and D. Bustard. 1984. Sequential Programming Structures. Prentice\/Hall International Englewood Cliffs NJ. ISBN 0138068372.  J. Welsh J. Elder and D. Bustard. 1984. Sequential Programming Structures . Prentice\/Hall International Englewood Cliffs NJ. ISBN 0138068372."},{"key":"e_1_3_2_1_45_1","unstructured":"M. V. Wilkes D. J. Wheeler and S. Gill. 1951. The Preparation of Programs for an Electronic Digital Computer: With Special Reference to the EDSAC and the Use of a Library of Subroutines. Addison-Wesley.  M. V. Wilkes D. J. Wheeler and S. Gill. 1951. The Preparation of Programs for an Electronic Digital Computer: With Special Reference to the EDSAC and the Use of a Library of Subroutines . Addison-Wesley."}],"container-title":["Theories of Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477355.3477366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477355.3477366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:32Z","timestamp":1750188632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477355.3477366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,2]]},"ISBN":["9781450387286"],"references-count":45,"alternative-id":["10.1145\/3477355.3477366","10.1145\/3477355"],"URL":"https:\/\/doi.org\/10.1145\/3477355.3477366","relation":{},"subject":[],"published":{"date-parts":[[2021,10,2]]},"assertion":[{"value":"2021-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}