{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:37Z","timestamp":1725492697760},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_17","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:39:04Z","timestamp":1192786744000},"page":"228-242","source":"Crossref","is-referenced-by-count":0,"title":["A Prototype Dependency Calculus"],"prefix":"10.1007","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In A. Aiken, editor, Proc. 26th Annual ACM Symposium on Principles of Programming Languages, pages 147\u2013160, San Antonio, Texas, USA, Jan. 1999. ACM Press.","DOI":"10.1145\/292540.292555"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, B. Lampson, and J.-J. L\u00e9vy. Analysis and caching of dependencies. In R. K. Dybvig, editor, Proc. International Conference on Functional Programming 1996, pages 83\u201391, Philadelphia, PA, May 1996. ACM Press, New York.","DOI":"10.1145\/232627.232638"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"K. Asai. Binding-time analysis for both static and dynamic expressions. In Static Analysis, pages 117\u2013133, 1999.","DOI":"10.1007\/3-540-48294-6_8"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"A. Banerjee, N. Heintze, and J. G. Riecke. Region analysis and the polymorphic lambda calculus. In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science, pages 88\u201397, Trento, Italy, July 1999. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1999.782594"},{"key":"17_CR5","unstructured":"L. Birkedal and M. Welinder. Binding-time analysis for Standard-ML. In P. Sestoft and H. S\u00f8ndergaard, editors, Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM\u2019 94, pages 61\u201371, Orlando, Fla., June 1994. University of Melbourne, Australia. Technical Report 94\/9, Department of Computer Science."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"D. Dussart, F. Henglein, and C. Mossin. Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time. In Mycroft [11], pages 118\u2013136.","DOI":"10.1007\/3-540-60360-3_36"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"N. Heintze. Control-flow analysis and type systems. In Mycroft [11], pages 189\u2013206.","DOI":"10.21236\/ADA289338"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"N. Heintze and J. G. Riecke. The SLam calculus: Programming with security and integrity. In L. Cardelli, editor, Proc. 25th Annual ACM Symposium on Principles of Programming Languages, pages 365\u2013377, San Diego, CA, USA, Jan. 1998. ACM Press.","DOI":"10.1145\/268946.268976"},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-57880-3_19","volume-title":"Polymorphic binding-time analysis","author":"F. Henglein","year":"1994","unstructured":"F. Henglein and C. Mossin. Polymorphic binding-time analysis. In D. Sannella, editor, Proceedings of European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 287\u2013301. Springer-Verlag, Apr. 1994."},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computations and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. International Static Analysis Symposium, SAS\u201995","year":"1995","unstructured":"A. Mycroft, editor. Proc. International Static Analysis Symposium, SAS\u201995, number 983 in Lecture Notes in Computer Science, Glasgow, Scotland, Sept. 1995. Springer-Verlag."},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0167-6423(88)90025-1","volume":"10","author":"F. Nielson","year":"1988","unstructured":"F. Nielson and H. R. Nielson. Automatic binding-time analysis for a typed lambda calculus. Science of Computer Programming, 10:139\u2013176, 1988.","journal-title":"Science of Computer Programming"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Polymorphic subtyping for effiect analysis: The static semantics","author":"H. R. Nielson","year":"1997","unstructured":"H. R. Nielson, F. Nielson, and T. Amtoft. Polymorphic subtyping for effiect analysis: The static semantics. In M. Dam, editor, Proceedings of the Fifth LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science. Springer-Verlag, 1997."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"J. Palsberg and P. O\u2019Keefe. A type system equivalent to flow analysis. In Proc. 22nd Annual ACM Symposium on Principles of Programming Languages, pages 367\u2013378, San Francisco, CA, Jan. 1995. ACM Press. 239","DOI":"10.1145\/199448.199533"},{"issue":"6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1017\/S0956796897002906","volume":"7","author":"P. \u00d8rb\u00e6k","year":"1997","unstructured":"P. \u00d8rb\u00e6k and J. Palsberg. Trust in the \u03bb-calculus. Journal of Functional Programming, 7(6):557\u2013591, Nov. 1997.","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"17_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"J.-P. Talpin and P. Jouvelot. The type and effiect discipline. Information and Computation, 111(2):245\u2013296, 1994.","journal-title":"Information and Computation"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Y. M. Tang and P. Jouvelot. Control-flow effiects for closure analysis. In Proceedings of the 2nd Workshop on Static Analysis, number 81-82 in Bigre Journal, pages 313\u2013321, Bordeaux, France, Oct. 1992.","DOI":"10.1016\/0014-5793(92)81222-8"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Y. M. Tang and P. Jouvelot. Effiect systems with subtyping. In W. Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM\u2019 95, pages 45\u201353, La Jolla, CA, June 1995. ACM Press.","DOI":"10.1145\/215465.215552"},{"issue":"2","key":"17_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"17_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"D. Volpano","year":"1997","unstructured":"D. Volpano and G. Smith. A type-based approach to program security. In M. Bidoit and M. Dauchet, editors, TAPSOFT\u201997: Theory and Practice of Software Development, number 1214 in Lecture Notes in Computer Science, pages 607\u2013621, Lille, France, Apr. 1997. Springer-Verlag."},{"issue":"3","key":"17_CR22","first-page":"1","volume":"4","author":"D. Volpano","year":"1996","unstructured":"D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):1\u201321, 1996.","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T12:47:21Z","timestamp":1684068441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}