{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T04:00:36Z","timestamp":1649131236953},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,11,13]],"date-time":"2014-11-13T00:00:00Z","timestamp":1415836800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2016,3]]},"abstract":"<jats:p>This paper formalizes the observable interface behaviour of<jats:italic>open<\/jats:italic>systems for a strongly-typed, concurrent object-oriented language with single-class inheritance. We formally characterize the observable behaviour in terms of interactions at the program-environment interface. The behaviour is given by transitions between contextual judgments, where the absent environment is represented abstractly as assumption context. A particular challenge is the fact that, when the system is considered as open, code from the environment can be inherited to the component and vice versa. This requires to incorporate an abstract version of the heap into the environment assumptions when characterizing the interface behaviour. We prove the soundness of the abstract interface description.<\/jats:p>","DOI":"10.1017\/s0960129514000255","type":"journal-article","created":{"date-parts":[[2014,11,13]],"date-time":"2014-11-13T23:39:57Z","timestamp":1415921997000},"page":"561-605","source":"Crossref","is-referenced-by-count":0,"title":["Observable interface behaviour and inheritance"],"prefix":"10.1017","volume":"26","author":[{"given":"ERIKA","family":"\u00c1BRAH\u00c1M","sequence":"first","affiliation":[]},{"given":"THI MAI THUONG","family":"TRAN","sequence":"additional","affiliation":[]},{"given":"MARTIN","family":"STEFFEN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,11,13]]},"reference":[{"key":"S0960129514000255_ref36","first-page":"129","article-title":"A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries","volume":"92","author":"Welsch","year":"2014","journal-title":"Science of Computer Programming, (Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011))"},{"key":"S0960129514000255_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_7"},{"key":"S0960129514000255_ref22","article-title":"Inheritance in Smalltalk-80: A denotational definition","volume":"23","author":"Kamin","year":"1988","journal-title":"SIGPLAN Notices"},{"key":"S0960129514000255_ref9","volume-title":"Concurrent Programming in Erlang","author":"Armstrong","year":"1996"},{"key":"S0960129514000255_ref7","first-page":"37","volume-title":"Object-Oriented Concurrent Programming","author":"Agha","year":"1987"},{"key":"S0960129514000255_ref31","first-page":"513","volume-title":"Information Processing 83","author":"Reynolds","year":"1983"},{"key":"S0960129514000255_ref20","first-page":"101","volume-title":"Proceedings of LICS '02","author":"Jeffrey","year":"2002"},{"key":"S0960129514000255_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9047-0"},{"key":"S0960129514000255_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"S0960129514000255_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80398-6"},{"key":"S0960129514000255_ref35","volume-title":"Proceedings of LICS '98","author":"Viswanathan","year":"1998"},{"key":"S0960129514000255_ref33","doi-asserted-by":"publisher","DOI":"10.1145\/960112.28702"},{"key":"S0960129514000255_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.08.003"},{"key":"S0960129514000255_ref18","doi-asserted-by":"crossref","unstructured":"Gordon A. D. and Rees G. D. (1996) Bisimilarity for a first-order calculus of objects with subtyping. In: Proceedings of POPL '96, ACM 386\u2013395. (Full version available as Technical Report 386, Computer Laboratory, University of Cambridge.)","DOI":"10.1145\/237721.237807"},{"key":"S0960129514000255_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_29"},{"key":"S0960129514000255_ref11","doi-asserted-by":"crossref","unstructured":"Breazu-Tannen V. , Gunter C. A. and \u0160\u010dedrov A. (1990) Computing with coercions. In: Proceedings of the ACM Conference on Lisp and Functional Programming 44\u201361.","DOI":"10.1145\/91556.91590"},{"key":"S0960129514000255_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_13"},{"key":"S0960129514000255_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40615-7_3"},{"key":"S0960129514000255_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06859-7_148"},{"key":"S0960129514000255_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058024"},{"key":"S0960129514000255_ref27","volume-title":"Programming in Scala","author":"Odersky","year":"2011"},{"key":"S0960129514000255_ref16","doi-asserted-by":"publisher","DOI":"10.1137\/0208044"},{"key":"S0960129514000255_ref29","doi-asserted-by":"crossref","unstructured":"Reddy U. S. (1988) Objects as closures: Abstract semantics of object-oriented languages. In: Symposium on lisp and Functional Programming (Snowbird, UT), ACM 289\u2013297.","DOI":"10.1145\/62678.62721"},{"key":"S0960129514000255_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.011"},{"key":"S0960129514000255_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_17"},{"key":"S0960129514000255_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_10"},{"key":"S0960129514000255_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.01.001"},{"key":"S0960129514000255_ref34","doi-asserted-by":"publisher","DOI":"10.1145\/217839.217861"},{"key":"S0960129514000255_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_22"},{"key":"S0960129514000255_ref12","unstructured":"Cook W. (1989) A Denotational Model of Inheritance, Ph.D. thesis, Brown University."},{"key":"S0960129514000255_ref23","unstructured":"Koutavas V. and Wand M. (2007) Reasoning about class behavior. In: Informal Workshop Record of FOOL 2007."},{"key":"S0960129514000255_ref32","doi-asserted-by":"crossref","unstructured":"Ruby C. and Leavens G. T. (2000) Safely creating correct subclasses without seeing superclass code. In: Object Oriented Programming: Systems, Languages, and Applications (OOPSLA)'00, ACM 208\u2013228. (In SIGPLAN Notices.)","DOI":"10.1145\/354222.353186"},{"key":"S0960129514000255_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1101821.1101824"},{"key":"S0960129514000255_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-13346-1_8"},{"key":"S0960129514000255_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054099"},{"key":"S0960129514000255_ref26","doi-asserted-by":"crossref","unstructured":"Mitchell J. C. (1986) Representation independence and data abstraction. In: 13th Annual Symposium on Principles of Programming Languages (POPL) (St. Peterburg Beach, FL), ACM 263\u2013276.","DOI":"10.1145\/512644.512669"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129514000255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T05:26:24Z","timestamp":1566019584000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129514000255\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,13]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["S0960129514000255"],"URL":"https:\/\/doi.org\/10.1017\/s0960129514000255","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,13]]}}}