{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:54Z","timestamp":1725493194759},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008866"},{"type":"electronic","value":"9783540365754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36575-3_16","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:52:15Z","timestamp":1193521935000},"page":"223-237","source":"Crossref","is-referenced-by-count":6,"title":["Correctness of Data Representations Involving Heap Data Structures"],"prefix":"10.1007","author":[{"given":"Uday S.","family":"Reddy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Honda, K., and McCusker, G. A fully abstract game semantics for general references. In LICS 1998 (1998), pp. 334\u2013344.","DOI":"10.1109\/LICS.1998.705669"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, A., and Naumann, D. A. Representation independence, confinement and access control. In POPL 2002 (2002), ACM.","DOI":"10.1145\/503272.503289"},{"key":"16_CR3","unstructured":"Dunphy, B. P. Parametricity as a Notion of Uniformity in Reflexive Graphs. PhD thesis, University of Illinois, Dep. of Mathematics, 2002."},{"key":"16_CR4","unstructured":"Ghica, D. R. Semantics of dynamic variables in Algol-like languages. Master\u2019s thesis, Queen\u2019s University, Kingston, Canada, Mar 1997. (available electronically from )."},{"key":"16_CR5","unstructured":"Ghica, D. R. Parameters and linked structures in algol-like languages. In Report of the Dagstuhl Seminar 98261: The Semantic Challenge of Object-oriented Programming (1998), Schloss Dagstuhl."},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1995","unstructured":"Launchbury, J., and Peyton Jones, S. L. State in Haskell. J. Lisp and Symbolic Comput. 8, 4 (1995), 293\u2013341.","journal-title":"J. Lisp and Symbolic Comput"},{"key":"16_CR7","unstructured":"Levy, P. B. Call-by-Push-Value. PhD thesis, Queen Mary, University of London, March 2001."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Levy, P. B. Possible world semantics for general storage in call-by-value. In CSL 2002 (2002), pp. 232\u2013246.","DOI":"10.1007\/3-540-45793-3_16"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, A. R., and Sieber, K. Towards fully abstract semantics for local variables. In Fifteenth Ann. ACM Symp. on Princ. of Program. Lang. (1988), ACM, pp. 191\u2013203. (Reprinted as Chapter 7 of [15]).","DOI":"10.1145\/73560.73577"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J. C. Mitchell","year":"1988","unstructured":"Mitchell, J. C., and Plotkin, G. D. Abstract types have existential types. ACM Trans. Program. Lang. Syst. 10, 3 (1988), 470\u2013502.","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"16_CR11","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"CSL 2001","author":"P. O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P., Reynolds, J., and Yang, H. Local reasoning about programs that alter data structures. In CSL 2001 (Berlin, 2001), L. Fribourg, Ed., vol. 2142 of LNCS, Springer-Verlag, pp. 1\u201319."},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/331605.331611","volume":"47","author":"P. W. O\u2019Hearn","year":"2000","unstructured":"O\u2019Hearn, P. W., and Reynolds, J. C. From Algol to polymorphic linear lambda-calculus. J. ACM 47, 1 (2000), 167\u2013223.","journal-title":"J. ACM"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P. W., and Tennent, R. D. Semantics of local variables. In Applications of Categories in Computer Science, M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds. Cambridge Univ. Press, 1992, pp. 217\u2013238.","DOI":"10.1017\/CBO9780511525902.013"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1145\/210346.210425","volume":"42","author":"P. W. O\u2019Hearn","year":"1995","unstructured":"O\u2019Hearn, P. W., and Tennent, R. D. Parametricity and local variables. J. ACM 42, 3 (1995), 658\u2013709. (Reprinted as Chapter 16 of [15]).","journal-title":"J. ACM"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P. W., and Tennent, R. D. Algol-like Languages (Two volumes). Birkh\u00e4user, Boston, 1997.","DOI":"10.1007\/978-1-4612-4118-8"},{"key":"16_CR16","unstructured":"Oles, F. J. A Category-Theoretic Approach to the Semantics of Programming Languages. PhD thesis, Syracuse University, 1982."},{"key":"16_CR17","unstructured":"Reddy, U. S. When parametricity implies naturality. Electronic manuscript, July 1997. URL http:\/\/www.cs.bham.ac.uk\/~udr ."},{"key":"16_CR18","unstructured":"Reddy, U. S. Objects and classes in Algol-like languages. In Fifth Intern. Workshop on Foundations of Object-oriented Languages (Jan 1998), electronic proceedings at http:\/\/pauillac.inria.fr\/~remy\/fool\/proceedings.html ."},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1006\/inco.2001.2927","volume":"172","author":"U. S. Reddy","year":"2002","unstructured":"Reddy, U. S. Objects and classes in Algol-like languages. Information and Computation 172 (2002), 63\u201397.","journal-title":"Information and Computation"},{"key":"16_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Coll. sur la Programmation","author":"J. C. Reynolds","year":"1974","unstructured":"Reynolds, J. C. Towards a theory of type structure. In Coll. sur la Programmation, vol. 19 of LNCS. Springer-Verlag, 1974, pp. 408\u2013425."},{"key":"16_CR21","unstructured":"Reynolds, J. C. The essence of Algol. In Algorithmic Languages, J. W. de Bakker and J. C. van Vliet, Eds. North-Holland, 1981, pp. 345\u2013372. (Reprinted as Chapter 3 of [15])."},{"key":"16_CR22","unstructured":"Reynolds, J. C. Intuitionistic reasoning about shared mutable data structure. In Millenial Perspectives in Computer Science. Palgrave, 2000."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Robinson, E., and Rosolini, G. Reflexive graphs and parametric polymorphism. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science (July 1994), IEEE Computer Society Press.","DOI":"10.1109\/LICS.1994.316053"},{"key":"16_CR24","unstructured":"Stark, I. Names and higher-order functions. Technical Report 363, University of Cambridge Computer Laboratory, April 1995."},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01806033","volume":"9","author":"I. Stark","year":"1996","unstructured":"Stark, I. Categorical models for local names. Lisp and Symbolic Computation 9, 1 (Feb. 1996), 77\u2013107.","journal-title":"Lisp and Symbolic Computation"},{"key":"16_CR26","unstructured":"Tennent, R. D. Correctness of data representations in Algol-like languages. In A Classical Mind: Essays in Honor of C. A. R. Hoare, A. W. Roscoe, Ed. Prentice-Hall International, 1994, pp. 405\u2013417."},{"issue":"6","key":"16_CR27","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/365696.365702","volume":"9","author":"N. Wirth","year":"1966","unstructured":"Wirth, N., and Hoare, C. A. R. A contribution to the development of Algol. Comm. ACM 9, 6 (June 1966), 413\u2013432.","journal-title":"Comm. ACM"},{"key":"16_CR28","unstructured":"Yang, H. Local reasoning for stateful programs. Tech. Rep. UIUCDCS-R-2001-2227, University of Illinois, Dep. of Computer Science, July 2001."}],"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-36575-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:17:53Z","timestamp":1556936273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36575-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008866","9783540365754"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-36575-3_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}