{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:53:46Z","timestamp":1725573226293},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254355"},{"type":"electronic","value":"9783540319870"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31987-0_29","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T13:42:00Z","timestamp":1292852520000},"page":"423-438","source":"Crossref","is-referenced-by-count":52,"title":["Java JR: Fully\u00a0Abstract\u00a0Trace\u00a0Semantics for\u00a0a\u00a0Core\u00a0Java\u00a0Language"],"prefix":"10.1007","author":[{"given":"Alan","family":"Jeffrey","sequence":"first","affiliation":[]},{"given":"Julian","family":"Rathke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","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)"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., Ong, L.: Full abstraction in the lazy lambda calculus. Information and Computation\u00a0105, 159\u2013267 (1993)","journal-title":"Information and Computation"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Syntax and Semantics of Java","year":"1999","unstructured":"Alves-Foss, J. (ed.): Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523. Springer, Heidelberg (1999)"},{"key":"29_CR4","unstructured":"Attali, I., Caromel, D., Russo, M.: A formal executable semantics for Java. In: Proc. Formal Underpinnings of Java (1998)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A.: Stack-based access control and secure information flow. J. Functional Programming (2005) (to appear)","DOI":"10.1017\/S0956796804005453"},{"key":"29_CR6","unstructured":"Bierman, G.M., Parkinson, M.J., Pitts, A.M.: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (2003)"},{"issue":"3","key":"29_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the ACM"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. In: Proc. Foundations of Software Science and Computation Structures. LNCS. Springer, Heidelberg (1998)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48737-9_2","volume-title":"Formal Syntax and Semantics of Java","author":"S. Drossopoulou","year":"1999","unstructured":"Drossopoulou, S., Eisenbach, S.: Towards an operational semantics and proof of type soundness for Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523. Springer, Heidelberg (1999)"},{"key":"29_CR10","first-page":"43","volume-title":"Proc. IEEE Logic in Computer Science","author":"M.P. Fiore","year":"1996","unstructured":"Fiore, M.P., Moggi, E., Sangiorgi, D.: A fully-abstract model for the pi-calculus. In: Proc. IEEE Logic in Computer Science, p. 43. IEEE Computer Society, Los Alamitos (1996)"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proc. ACM Principles of Programming Languages, pp. 171\u2013183 (1998)","DOI":"10.1145\/268946.268961"},{"key":"29_CR12","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"29_CR13","unstructured":"Gordon, M.J.C.: Experimental Programming Reports. PhD thesis, School of AI, University of Edinburgh (1973)"},{"key":"29_CR14","series-title":"The Java Series","volume-title":"Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java Language Specification, 2nd edn. The Java Series. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"29_CR15","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"issue":"3","key":"29_CR16","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst.\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"29_CR17","first-page":"101","volume-title":"Proc. IEEE Logic in Computer Science","author":"A.S.A. Jeffrey","year":"2002","unstructured":"Jeffrey, A.S.A., Rathke, J.: A fully abstract testing semantics for concurrent objects. In: Proc. IEEE Logic in Computer Science, pp. 101\u2013112. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"29_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P.J. Landin","year":"1965","unstructured":"Landin, P.J.: A correspondence between ALGOL 60 and Church\u2019s lambda-notation: Part I. Communications of the ACM\u00a08(2), 89\u2013101 (1965)","journal-title":"Communications of the ACM"},{"key":"29_CR19","unstructured":"McCarthey, J.: Towards a mathematical science of computation. In: Popplewell, C.M. (ed.) Information Processing 1962, pp. 21\u201328 (1963)"},{"key":"29_CR20","first-page":"1","volume-title":"Proc. IFIP WG Formal Language Description Languages for Computer Programming","author":"J. McCarthy","year":"1966","unstructured":"McCarthy, J.: A formal description of a subset of algol. In: Proc. IFIP WG Formal Language Description Languages for Computer Programming, pp. 1\u201312. North-Holland, Amsterdam (1966)"},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"29_CR22","volume-title":"Communication and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"29_CR23","unstructured":"Morris, J.H.: Lambda-calculus models of programming languages. PhD thesis, MIT (1968)"},{"key":"29_CR24","volume-title":"Proc. Marktobderdorf Summer School","author":"T. Nipkow","year":"2003","unstructured":"Nipkow, T.: Jinja: Towards a comprehensive formal semantics for a Java-like language. In: Proc. Marktobderdorf Summer School. IOS Press, Amsterdam (2003) (to appear)"},{"key":"29_CR25","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theoretical Computer Science\u00a05, 223\u2013255 (1977)","journal-title":"Theoretical Computer Science"},{"key":"29_CR26","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"29_CR27","volume-title":"The Definition of Standard ML","author":"M. Tofte","year":"1990","unstructured":"Tofte, M., Milner, R., Harper, R.: The Definition of Standard ML. MIT Press, Cambridge (1990)"},{"key":"29_CR28","unstructured":"Reppy, J.: Higher-Order Concurrency. PhD thesis, Cornell University, Technical Report TR 92-1285 (1992)"},{"key":"29_CR29","volume-title":"The pi-calculus: A Theory of mobile processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The pi-calculus: A Theory of mobile processes. Cambridge University Press, Cambridge (2001)"},{"key":"29_CR30","unstructured":"Steel, T.B.: A formalization of semantics for programming language description. In: Proc. IFIP WG Formal Language Description Languages for Computer Programming, pp. 25\u201336 (1969)"},{"key":"29_CR31","unstructured":"Sussman, G.J., Steele Jr., G.L.: Scheme:an interpreter for extended lambda-calculus. Technical Report Memo 349, MIT AI Lab (1975)"},{"issue":"1","key":"29_CR32","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31987-0_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:44:55Z","timestamp":1619999095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31987-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254355","9783540319870"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31987-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}