{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:12:28Z","timestamp":1725577948804},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356318"},{"type":"electronic","value":"9783540356325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783596_5","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:35:02Z","timestamp":1151505302000},"page":"29-48","source":"Crossref","is-referenced-by-count":4,"title":["Relational Semantics for Higher-Order Programs"],"prefix":"10.1007","author":[{"given":"Kamal","family":"Aboul-Hosn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dexter","family":"Kozen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-45699-6_8","volume-title":"Applied Semantics","author":"A.M. Pitts","year":"2002","unstructured":"Pitts, A.M.: Operational semantics and program equivalence. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 378\u2013412. Springer, Heidelberg (2002)"},{"key":"5_CR2","unstructured":"Plotkin, G.: Full abstraction, totality and PCF (1997)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1145\/143165.143232","volume-title":"Conf. Record of 19th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1992","author":"R. Cartwright","year":"1992","unstructured":"Cartwright, R., Felleisen, M.: Observable sequentiality and full abstraction. In: Conf. Record of 19th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1992, pp. 328\u2013342. ACM Press, New York (1992)"},{"key":"5_CR4","volume-title":"A Theory of Programming Language Semantics","author":"R. Milne","year":"1977","unstructured":"Milne, R., Strachey, C.: A Theory of Programming Language Semantics. Halsted Press, New York (1977)"},{"key":"5_CR5","unstructured":"Scott, D.: Mathematical concepts in programmng language semantics. In: Proc. of 1972 Spring Joint Computer Conferences, pp. 225\u2013234. AFIPS Press (1972)"},{"key":"5_CR6","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1981","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1981)"},{"key":"5_CR7","first-page":"245","volume-title":"Conf. Record of 11th Ann. ACM Symp. on Principles of Programming Languages, POPL 1984","author":"J.Y. Halpern","year":"1984","unstructured":"Halpern, J.Y., Meyer, A.R., Trakhtenbrot, B.A.: The semantics of local storage, or what makes the free-list free (preliminary report). In: Conf. Record of 11th Ann. ACM Symp. on Principles of Programming Languages, POPL 1984, pp. 245\u2013257. ACM Press, New York (1984)"},{"issue":"1","key":"5_CR8","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 Symb. Comput.\u00a09(1), 77\u2013107 (1996)","journal-title":"LISP and Symb. Comput."},{"key":"5_CR9","first-page":"345","volume-title":"Algorithmic Languages","author":"J. Reyonlds","year":"1981","unstructured":"Reyonlds, J.: The essence of ALGOL. In: de Bakker, J., van Vliet, J.C. (eds.) Algorithmic Languages, pp. 345\u2013372. North Holland, Amsterdam (1981)"},{"key":"5_CR10","unstructured":"Oles, F.J.: A category-theoretic approach to the semantics of programming languages. PhD thesis. Syracuse University (1982)"},{"key":"5_CR11","series-title":"London Math. Soc. Lect. Note Series","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/CBO9780511525902.013","volume-title":"Applications of Categories in Computer Science","author":"P.W. O\u2019Hearn","year":"1992","unstructured":"O\u2019Hearn, P.W., Tennent, R.D.: Semantics of local variables. In: Fourman, M.P., Johnstone, P.T., Pitts, A.M. (eds.) Applications of Categories in Computer Science. London Math. Soc. Lect. Note Series, vol.\u00a0177, pp. 217\u2013238. Cambridge Univ. Press, Cambridge (1992)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/73560.73577","volume-title":"Conf. Record of 15th ACM Symp. on Principles of Programming Languages, POPL 1988","author":"A.R. Meyer","year":"1988","unstructured":"Meyer, A.R., Sieber, K.: Towards fully abstract semantics for local variables. In: Conf. Record of 15th ACM Symp. on Principles of Programming Languages, POPL 1988, pp. 191\u2013203. ACM Press, New York (1988)"},{"key":"5_CR13","first-page":"284","volume-title":"Proc. of 4th Ann. IEEE Symp. Logic in Computer Science, LICS 1989","author":"I.A. Mason","year":"1989","unstructured":"Mason, I.A., Talcott, C.L.: Axiomatizing operational equivalence in the presence of effects. In: Proc. of 4th Ann. IEEE Symp. Logic in Computer Science, LICS 1989, pp. 284\u2013293. IEEE Comput. Soc. Press, Los Alamitos (1989)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S0956796800000125","volume":"1","author":"I.A. Mason","year":"1991","unstructured":"Mason, I.A., Talcott, C.L.: Equivalence in functional languages with effects. J. of Funct. Program. 1, 287\u2013327 (1991)","journal-title":"J. of Funct. Program."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/LICS.1992.185532","volume-title":"Proc. of 7th Ann. IEEE Symp. on Logic in Computer Science, LICS 1992","author":"I.A. Mason","year":"1992","unstructured":"Mason, I.A., Talcott, C.L.: References, local variables and operational reasoning. In: Proc. of 7th Ann. IEEE Symp. on Logic in Computer Science, LICS 1992, pp. 186\u2013197. IEEE Comput. Soc. Press, Los Alamitos (1992)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-57182-5_8","volume-title":"Mathematical Foundations of Computer Science 1993","author":"A.M. Pitts","year":"1993","unstructured":"Pitts, A.M., Stark, I.D.B.: Observable properties of higher order functions that dynamically create local names, or what\u2019s new? In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol.\u00a0711, pp. 122\u2013141. Springer, Heidelberg (1993)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1017\/CBO9780511526619.007","volume-title":"Semantics and Logics of Computation","author":"A.M. Pitts","year":"1997","unstructured":"Pitts, A.M.: Operationally-based theories of program equivalence. In: Dybjer, P., Pitts, A.M. (eds.) Semantics and Logics of Computation, Publications of the Newton Institute, pp. 241\u2013298. Cambridge Univ. Press, Cambridge (1997)"},{"key":"5_CR18","first-page":"227","volume-title":"Higher Order Operational Techniques in Semantics","author":"A.M. Pitts","year":"1998","unstructured":"Pitts, A.M., Stark, I.D.B.: Operational reasoning in functions with local state. In: Gordon, A.D., Pitts, A.M. (eds.) Higher Order Operational Techniques in Semantics, pp. 227\u2013273. Cambridge Univ. Press, Cambridge (1998)"},{"key":"5_CR19","first-page":"334","volume-title":"Proc. 13th Ann. IEEE Symp. on Logic in Computer Science, LICS 1998","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: Proc. 13th Ann. IEEE Symp. on Logic in Computer Science, LICS 1998, pp. 334\u2013344. IEEE Comput. Soc. Press, Los Alamitos (1998)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-24727-2_21","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Laird","year":"2004","unstructured":"Laird, J.: A game semantics of local names and good variables. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 289\u2013303. Springer, Heidelberg (2004)"},{"key":"5_CR21","series-title":"Electron. Notes on Theor. Comput. Sci.","first-page":"2","volume-title":"Proc. of Linear Logic 1996 Tokyo Meeting","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S., McCusker, G.: Linearity, sharing and state: a fully abstract game semantics for idealized ALGOL with active expressions. In: Proc. of Linear Logic 1996 Tokyo Meeting. Electron. Notes on Theor. Comput. Sci., vol.\u00a03, pp. 2\u201314. Elsevier, Amsterdam (1996)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0028004","volume-title":"Computer Science Logic","author":"S. Abramsky","year":"1998","unstructured":"Abramsky, S., McCusker, G.: Call-by-value games. In: Nielsen, M. (ed.) CSL 1997. LNCS, vol.\u00a01414, pp. 1\u201317. Springer, Heidelberg (1998)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/LICS.1997.614953","volume-title":"Proc. of 12th Ann. IEEE Symp. on Logic in Computer Science, LICS 1997","author":"J.G. Riecke","year":"1997","unstructured":"Riecke, J.G., Sandholm, A.: A relational account of call-by-value sequentiality. In: Proc. of 12th Ann. IEEE Symp. on Logic in Computer Science, LICS 1997, pp. 258\u2013267. IEEE Comp. Soc. Press, Los Alamitos (1997)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/199448.199450","volume-title":"Conf. Record of 22th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1995","author":"J.G. Riecke","year":"1995","unstructured":"Riecke, J.G., Viswanathan, R.: Isolating side effects in sequential languages. In: Conf. Record of 22th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1995, pp. 1\u201312. ACM Press, New York (1995)"},{"key":"5_CR25","first-page":"193","volume-title":"Proc. of 14th Ann. IEEE Symp. on Logic in Computer Science, LICS 1999","author":"M.P. Fiore","year":"1999","unstructured":"Fiore, M.P., Plotkin, G., Turi, D.: Abstract syntax and variable binding. In: Proc. of 14th Ann. IEEE Symp. on Logic in Computer Science, LICS 1999, pp. 193\u2013202. IEEE Comp. Soc. Press, Los Alamitos (1999)"},{"key":"5_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. on Program. Lang. and Syst.\u00a019(3), 427\u2013443 (1997)","journal-title":"ACM Trans. on Program. Lang. and Syst."},{"key":"5_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783596_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:55Z","timestamp":1605643675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783596_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356318","9783540356325"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11783596_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}