{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T16:58:49Z","timestamp":1726419529821},"reference-count":16,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":2827,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1016\/j.entcs.2005.09.009","type":"journal-article","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T12:12:09Z","timestamp":1131883929000},"page":"3-35","source":"Crossref","is-referenced-by-count":2,"title":["A Calculus for Dynamic Reconfiguration with Low Priority Linking"],"prefix":"10.1016","volume":"138","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[]},{"given":"Sonia","family":"Fagorzi","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2005.09.009_bib001","series-title":"FOSSACS'04 - Foundations of Software Science and Computation Structures 2004","first-page":"12","article-title":"Choice in dynamic linking","author":"Abadi","year":"2004"},{"key":"10.1016\/j.entcs.2005.09.009_bib002","series-title":"International Colloquium on Automata, Languages and Programming 2003","first-page":"224","article-title":"Mixin modules and computational effects","volume":"number 2719","author":"Ancona","year":"2003"},{"key":"10.1016\/j.entcs.2005.09.009_bib003","series-title":"Italian Conf. on Theoretical Computer Science 2003","first-page":"284","article-title":"A calculus for dynamic linking","volume":"number 2841","author":"Ancona","year":"2003"},{"key":"10.1016\/j.entcs.2005.09.009_bib004","doi-asserted-by":"crossref","unstructured":"Ancona, D., S. Fagorzi and E. Zucca, A calculus with lazy module operators, in: J.-J. Levy, E. W. Mayr and J. C. Mitchell, editors, TCS 2004 (IFIP Int. Conf. on Theoretical Computer Science) (2004), pp. 423\u2013436","DOI":"10.1007\/1-4020-8141-3_33"},{"key":"10.1016\/j.entcs.2005.09.009_bib005","doi-asserted-by":"crossref","unstructured":"Ancona, D., S. Fagorzi and E. Zucca, Mixin modules for dynamic rebinding, in: TGC 2005-Symposium on Trustworthy Global Computing, Lecture Notes in Computer Science (2005), to appear","DOI":"10.1007\/11580850_15"},{"key":"10.1016\/j.entcs.2005.09.009_bib006","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0956796801004257","article-title":"A calculus of module systems","volume":"12","author":"Ancona","year":"2002","journal-title":"Journ. of Functional Programming"},{"key":"10.1016\/j.entcs.2005.09.009_bib007","unstructured":"Bierman, G., M. Hicks, P. Sewell and G. Stoyle, Formalizing dynamic software updating (Extended Abstract), in: USE'03 - the Second International Workshop on Unanticipated Software Evolution, 2003"},{"key":"10.1016\/j.entcs.2005.09.009_bib008","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Program fragments, linking, and modularization, in: ACM Symp. on Principles of Programming Languages 1997 (1997), pp. 266\u2013277","DOI":"10.1145\/263699.263735"},{"key":"10.1016\/j.entcs.2005.09.009_bib009","series-title":"TIC'00 - Third Workshop on Types in Compilation (Selected Papers)","first-page":"53","article-title":"Towards an abstract model of Java dynamic linking and verfication","volume":"2071","author":"Drossopoulou","year":"2001"},{"key":"10.1016\/j.entcs.2005.09.009_bib010","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., G. Lagorio and S. Eisenbach, Flexible models for dynamic linking, in: P. Degano, editor, ESOP 2003 - European Symposium on Programming 2003, 2003, pp. 38\u201353","DOI":"10.1007\/3-540-36575-3_4"},{"key":"10.1016\/j.entcs.2005.09.009_bib011","unstructured":"Fagorzi, S., \u201cModule Calculi for Dynamic Reconfiguration,\u201d Ph.D. thesis, Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova (2005), to appear"},{"key":"10.1016\/j.entcs.2005.09.009_bib012","doi-asserted-by":"crossref","first-page":"31","DOI":"10.5381\/jot.2004.3.11.a2","article-title":"A case-study in encoding configuration languages: Multiple class loaders","volume":"3","author":"Fagorzi","year":"2004","journal-title":"Journ. of Object Technology"},{"key":"10.1016\/j.entcs.2005.09.009_bib013","series-title":"ESOP 2002 - European Symposium on Programming 2002","first-page":"6","article-title":"Mixin modules in a call-by-value setting","volume":"number 2305","author":"Hirschowitz","year":"2002"},{"key":"10.1016\/j.entcs.2005.09.009_bib014","series-title":"ECOOP 2004 - Object-Oriented Programming","first-page":"414","article-title":"Modules with interfaces for dynamic linking and communication","volume":"number 3086","author":"Liu","year":"2004"},{"author":"Mens","key":"10.1016\/j.entcs.2005.09.009_bib015"},{"key":"10.1016\/j.entcs.2005.09.009_bib016","series-title":"ESOP 2000 - European Symposium on Programming 2000","first-page":"412","article-title":"Confluent equational reasoning for linking with first-class primitive modules","volume":"number 1782","author":"Wells","year":"2000"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105051339?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105051339?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T05:08:43Z","timestamp":1554440923000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105051339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["S1571066105051339"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2005.09.009","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2005,11]]}}}