{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121483,"version":"build-2065373602"},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2004,9,25]],"date-time":"2004-09-25T00:00:00Z","timestamp":1096070400000},"content-version":"vor","delay-in-days":3555,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/s1571-0661(04)00026-x","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T05:14:39Z","timestamp":1075353279000},"page":"447-486","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Syntactic Control of Interference Revisited"],"prefix":"10.1016","volume":"1","author":[{"given":"P.W.","family":"O'Hearn","sequence":"first","affiliation":[]},{"given":"A.J.","family":"Power","sequence":"additional","affiliation":[]},{"given":"M.","family":"Takeyama","sequence":"additional","affiliation":[]},{"given":"R.D.","family":"Tennent","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB1","doi-asserted-by":"crossref","unstructured":"N. Benton, G. Bierman, V. de Paiva, and M. Hyland. A term calculus for intuitionistic linear logic. In M. Bezen and J. F. Groote, editors, Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science, pages 75\u201390, Utrecht, The Netherlands, March 1993. Springer-Verlag, Berlin","DOI":"10.1007\/BFb0037099"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB2","doi-asserted-by":"crossref","unstructured":"P. N. Benton. A mixed linear and non-linear logic: proofs, terms and models (preliminary report). Technical Report 352, University of Cambridge Computer Laboratory, October 1994.","DOI":"10.1007\/BFb0022251"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB3","doi-asserted-by":"crossref","unstructured":"G.M. Bierman. What is a categorical model of intuitionistic linear logic? In Proceedings of Second International Conference on Typed \u03bb-calculi and Applications, volume 902 of Lecture Notes in Computer Science, pages 78\u201393, Edinburgh, Scotland, April 1995. Springer-Verlag, Berlin.","DOI":"10.1007\/BFb0014046"},{"year":"1988","series-title":"Introduction to Functional Programming","author":"Bird","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB4"},{"issue":"7","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB5","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/361454.361473","article-title":"Structured multiprogramming","volume":"15","author":"Brinch Hansen","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB6","unstructured":"F. Brown, editor. The Frame Problem in Artificial Intelligence. Proceedings of the 1987 workshop. Morgan Kaufmann, 1987."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02011875","article-title":"A new type assignment for \u03bb-terms","volume":"19","author":"Coppo","year":"1978","journal-title":"Archiv. Math. Logik"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB8","doi-asserted-by":"crossref","unstructured":"B. J. Day. On closed categories of functors. In Mac S. Lane, editor, Reports of the Midwest Category Seminar, volume 137 of Lecture Notes in Mathematics, pages 1\u201338. Springer-Verlag, Berlin-New York, 1970.","DOI":"10.1007\/BFb0060438"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB9","doi-asserted-by":"crossref","unstructured":"S. Eilenberg and G. M. Kelly. Closed categories. In S. Eilenberg et al., editors, Proceedings of the Conference on Categorical Algebra, pages 421\u2013562, La Jolla, California, 1965. Springer-Verlag, New York, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB10","unstructured":"P. Freyd, P. W. O'Hearn, A. J. Power, M. Takeyama, and R. D. Tennent. Bireflectivity. In these proceedings."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","article-title":"On the unity of logic","volume":"59","author":"Girard","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"issue":"10","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB13","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Comm. ACM"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB14","unstructured":"C. A. R. Hoare. Hints on programming-language design. In C. Bunyan, editor, Computer Systems Reliability, volume 20 of State of the Art Report, pages 505\u201334. Pergamon\/Infotech, 1974. Also pages 193\u2013216 of [15]."},{"year":"1989","series-title":"Essays in Computing Science","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB15"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB16","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","article-title":"Conception, evolution, and application of functional programming languages","volume":"31","author":"Hudak","year":"1989","journal-title":"Computing Surveys"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB17","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","article-title":"Why functional programming matters","volume":"32","author":"Hughes","year":"1989","journal-title":"The Computer Journal"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB18","doi-asserted-by":"crossref","unstructured":"G. M. Kelly. Doctrinal adjunctions. In G. M. Kelly, editor, Category Seminar: Proceedings, Sydney Category Theory Seminar, 1972\/73, volume 420 of Lecture Notes in Mathematics, pages 257\u2013280. Springer-Verlag, New York, 1974.","DOI":"10.1007\/BFb0063105"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB19","doi-asserted-by":"crossref","unstructured":"J. Launchbury and S. Peyton Jones. State in Haskell. To appear in Lisp and Symbolic Computation, special issue on State in Programming Languages, 1995.","DOI":"10.1007\/BF01018827"},{"year":"1971","series-title":"Categories for the Working Mathematician","author":"Mac Lane","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB20"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB21","doi-asserted-by":"crossref","unstructured":"M. Odersky, D. Rabin, and P. Hudak. Call by name, assignment, and the lambda calculus. In [30], pages 43\u201356.","DOI":"10.1145\/158511.158521"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB22","unstructured":"P. W. O'Hearn. The Semantics of Non-Interference: A Natural Approach. Ph.D. thesis, Queen's University, Kingston, Canada, 1990."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB23","doi-asserted-by":"crossref","unstructured":"P. W. O'Hearn. Linear logic and interference control. In D. H. Pitt et al., editors, Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, pages 74\u201393, Paris, France, September 1991. Springer-Verlag, Berlin","DOI":"10.1007\/BFb0013458"},{"issue":"4","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB24","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1017\/S0960129500000311","article-title":"A model for syntactic control of interference","volume":"3","author":"O'Hearn","year":"1993","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB25","doi-asserted-by":"crossref","unstructured":"P. W. O'Hearn and R. D. Tennent. Parametricity and local variables. To appear in the J. ACM, May 1995. Preliminary version appeared as [26].","DOI":"10.1145\/210346.210425"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB26","doi-asserted-by":"crossref","unstructured":"P. W. O'Hearn and R. D. Tennent. Relational parametricity and local variables. In [30], pages 171\u2013184.","DOI":"10.1145\/158511.158624"},{"issue":"1","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB27","first-page":"25","volume":"107","author":"O'Hearn","year":"1993","journal-title":"Semantical analysis of specification logic, 2. Information and Computation"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB28","unstructured":"F. J. Oles. A Category-Theoretic Approach to the Semantics of Programming Languages. Ph.D. thesis, Syracuse University, Syracuse, N.Y., 1982."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB29","doi-asserted-by":"crossref","unstructured":"S. Peyton-Jones and P. Wadler. Imperative functional programming. In [30], pages 71\u201384.","DOI":"10.1145\/158511.158524"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB30","unstructured":"Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, 1993. ACM, New York."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB31","unstructured":"A. J. Power. Why tricategories? To appear in Information and Computation."},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB32","doi-asserted-by":"crossref","unstructured":"U. S. Reddy. Passivity and independence. In Proceedings, 9th Annual IEEE Symposium on Logic in Computer Science, pages 342\u2013352, Paris, 1994. IEEE Computer Society Press, Los Alamitos, California.","DOI":"10.1109\/LICS.1994.316055"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB33","doi-asserted-by":"crossref","unstructured":"U. S. Reddy. Global states considered unnecessary: introduction to object-based semantics. To appear in Lisp and Symbolic Computation, special issue on State in Programming Languages, 1995.","DOI":"10.1007\/BF01806032"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB34","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39\u201346, Tucson, Arizona, January 1978. ACM, New York.","DOI":"10.1145\/512760.512766"},{"year":"1981","series-title":"The Craft of Programming","author":"Reynolds","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB35"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB36","series-title":"Algorithmic Languages","first-page":"345","article-title":"The essence of Algol","author":"Reynolds","year":"1981"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB37","series-title":"Tools and Notions for Program Construction","first-page":"121","article-title":"Idealized Algol and its specification logic","author":"Reynolds","year":"1981"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB38","unstructured":"J. C. Reynolds. Syntactic control of interference, part 2. In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Della Rocca, editors, Automata, Languages and Programming, 16th International Colloquium, volume 372 of Lecture Notes in Computer Science, pages 704\u2013722, Stresa, Italy, July 1989. Springer-Verlag, Berlin"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB39","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(82)90123-2","article-title":"Semantics of interference control","volume":"27","author":"Tennent","year":"1983","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S1571-0661(04)00026-X_NEWBIB40","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0890-5401(90)90045-J","article-title":"Semantical analysis of specification logic","volume":"85","author":"Tennent","year":"1990","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB41","doi-asserted-by":"crossref","unstructured":"P. Wadler. A syntax for linear logic. In S. Brookes et al., editors, Mathematical Foundations of Programming Semantics, volume 802 of Lecture Notes in Computer Science, pages 513\u2013529, New Orleans, 1993. Springer-Verlag, Berlin.","DOI":"10.1007\/3-540-58027-1_24"},{"key":"10.1016\/S1571-0661(04)00026-X_NEWBIB42","unstructured":"N. Wirth. On the design of programming languages. In J. L. Rosenfeld, editor, Proceedings Ifip Congress 74, pages 386\u2013393, Stockholm, 1974. North-Holland, Amsterdam."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400026X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610400026X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:03:46Z","timestamp":1761609826000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610400026X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":42,"alternative-id":["S157106610400026X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00026-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Syntactic Control of Interference Revisited","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)00026-X","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}