{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T16:10:09Z","timestamp":1736007009019,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281023"},{"type":"electronic","value":"9783540318682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11534310_115","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:48:30Z","timestamp":1127828910000},"page":"1105-1114","source":"Crossref","is-referenced-by-count":0,"title":["Using Ambient in Computational Reflection Semantics Description"],"prefix":"10.1007","author":[{"given":"Jianghua","family":"Lv","sequence":"first","affiliation":[]},{"given":"Shilong","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Aili","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Pan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"115_CR1","doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Reflection and Semantics in Lisp. Technical Report CSLI84 -8, Stanford University Center for the Study of Language and Information (December 1984)","DOI":"10.1145\/800017.800513"},{"key":"115_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambient. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"115_CR3","first-page":"352","volume-title":"Proceedings of the symposium on principles of programming languages","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the symposium on principles of programming languages, pp. 352\u2013364. ACM Press, New York (2000)"},{"key":"115_CR4","doi-asserted-by":"crossref","unstructured":"Friedman, D.P., Wand, M.: Reification: Reflection without Metaphysics. In: ACM Conference Proceedings of Lisp and Functional Programming, pp. 348\u2013355 (1987)","DOI":"10.1145\/800055.802051"},{"key":"115_CR5","doi-asserted-by":"crossref","unstructured":"Pattie, M.: Concepts and Experiments in Computational Reflection. In: OOPSLA 1987 Conference Proceedings, pp. 147\u2013155 (1987)","DOI":"10.1145\/38807.38821"},{"key":"115_CR6","unstructured":"JAVA home page. Sun Microsystems, Inc., http:\/\/java.sun.com"},{"key":"115_CR7","unstructured":"Blair, G., Campbell, R. (chairs): Workshop on Reflective Middleware (2000), http:\/\/www.comp.lancs.ac.uk\/computing\/RM2000\/"},{"key":"115_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Reflection 1999","year":"1999","unstructured":"Cointe, P. (ed.): Proceedings of Reflection 1999. LNCS, vol.\u00a01616. Springer, Heidelberg (1999)"},{"key":"115_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BFb0040260","volume-title":"Mathematical Foundations of Programming Semantics","author":"K. Malmkjaer","year":"1989","unstructured":"Malmkjaer, K.: On Some Semantic Issues in the Reflective Tower. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1989. LNCS, vol.\u00a0442, pp. 229\u2013246. Springer, Heidelberg (1989)"},{"key":"115_CR10","unstructured":"Hook, J., Sheard, T.: A Semantics of Compile-time Reflection. Technical Report 93-019, Department of Computer Science and Engineering, Oregon Graduate Institute (November 1993)"},{"issue":"2\/3","key":"115_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF01806111","volume":"9","author":"J. Malenfant","year":"1996","unstructured":"Malenfant, J.: A Semantics of Introspection in a Reflective Prototype-Based Language. Lisp and symbolic computation\u00a09(2\/3), 153\u2013180 (1996)","journal-title":"Lisp and symbolic computation"},{"key":"115_CR12","unstructured":"Douence, R., S\u00fcdholt, M.: A Generic Reification Technique for Object-Oriented Reflective Languages"},{"key":"115_CR13","unstructured":"Lv, J., Ma, S.: Towards an Extensible Semantics for Reflection. Accepted by International Conference on Information Technology: Coding and Computing 2005. IEEE Computer Society, Los Alamitos (2005) (to appear)"},{"issue":"6","key":"115_CR14","doi-asserted-by":"publisher","first-page":"916","DOI":"10.1145\/267959.269968","volume":"19","author":"A. Sabry","year":"1997","unstructured":"Sabry, A., Wadler, P.: A Reflection on Call-by-Value. ACM Transactions on Programming Languages and Systems\u00a019(6), 916\u2013941 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"115_CR15","unstructured":"The JavaTM Tutorial, http:\/\/java.sun.com\/docs\/books\/tutorial\/reflect\/"},{"key":"115_CR16","first-page":"79","volume-title":"Proc. 26th POPL","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. In: Proc. 26th POPL, pp. 79\u201392. ACM Press, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Networking and Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11534310_115.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:39:28Z","timestamp":1736005168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11534310_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281023","9783540318682"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11534310_115","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}