{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:26Z","timestamp":1725664646398},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609544"},{"type":"electronic","value":"9783540497479"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60954-7_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:07:35Z","timestamp":1330272455000},"page":"173-189","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An algebraic semantics of reflective objects"],"prefix":"10.1007","author":[{"given":"Yasuyuki","family":"Tahara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fumihiro","family":"Kumeno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akihiko","family":"Ohsuga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichi","family":"Honiden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"O. Danvy and K. Malmkj\u00e6r. Intensions and extensions in a reflective tower. In Proc. LFP'88, pp. 327\u2013341, 1988.","key":"12_CR1","DOI":"10.1145\/62678.62725"},{"doi-asserted-by":"crossref","unstructured":"D. Friedman and M. Wand. Reification: Reflection without metaphysics. In Proc LFP'84, pp. 348\u2013355, 1984.","key":"12_CR2","DOI":"10.1145\/800055.802051"},{"doi-asserted-by":"crossref","unstructured":"Gregor Kiczales, Jim des Rivier\u00e9s, and Daniel G. Bobrow. The Art of the Metaobject Protocol. The MIT Press, 1991.","key":"12_CR3","DOI":"10.7551\/mitpress\/1405.001.0001"},{"unstructured":"Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, and Shinichi Honiden. Evolutional agents: Field oriented programming language, Flage. In APSEC'95, 1995.","key":"12_CR4"},{"unstructured":"Masahito Kurihara and Azuma Ohuchi. An algebraic specification and an object-oriented implementation of a reflective language. In Akinori Yonezawa and Brian C. Smith, editors, Reflection And Meta-Level Architecture, Proceedings of the International Workshop on New Models for Software Architecture, pp. 137\u2013142, 1992.","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects. In ECOOP\/OOPSLA'90, pp. 101\u2013115, October 1990.","key":"12_CR6","DOI":"10.1145\/97945.97958"},{"key":"12_CR7","first-page":"384","volume":"458","author":"J. Meseguer","year":"1990","unstructured":"Jos\u00e9 Meseguer. Rewriting as a unified model of concurrency. In Proceedings of the Concur'90 Conference, Amsterdam, August 1990, pp. 384\u2013400. Springer LNCS 458, 1990.","journal-title":"Springer LNCS"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, Vol. 96, pp. 73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"unstructured":"Jos\u00e9 Meseguer, Kokichi Futatsugi, and Timothy Winkler. Using rewriting logic to specify, program, integrate, and reuse open concurrent systems of cooperating agents. In Proc. of the International Symposium on New Models for Software Architecture, pp. 61\u2013106, November 1992.","key":"12_CR9"},{"unstructured":"Shin Nakajima. What makes a language reflective and how? In Akinori Yonezawa and Brian C. Smith, editors, Reflection And Meta-Level Architecture, Proceedings of the International Workshop on New Models for Software Architecture, pp. 125\u2013136, 1992.","key":"12_CR10"},{"doi-asserted-by":"crossref","unstructured":"B. C. Smith. Reflection and semantics in lisp. In Proc. POPL'84, pp. 23\u201335, 1984.","key":"12_CR11","DOI":"10.1145\/800017.800513"},{"unstructured":"M. Wand and Friedman D. The mystery of the tower revealed: A non-reflective description of the reflective tower. In P, Maes and D. Nardi, editors, Meta-Level Architectures and Reflection, pp. 111\u2013134. North-Holland, 1988.","key":"12_CR12"}],"container-title":["Lecture Notes in Computer Science","Object Technologies for Advanced Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60954-7_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:42:58Z","timestamp":1558255378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60954-7_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609544","9783540497479"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60954-7_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}