Abstract
With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach.
Supported by the National 973 Project under the grant number G1999032701 and China Postdoctoral Science Foundation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Smith, B.C.: Reflection and Semantics in Lisp. Technical Report CSLI84 -8, Stanford University Center for the Study of Language and Information (December 1984)
Cardelli, L., Gordon, A.D.: Mobile Ambient. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the symposium on principles of programming languages, pp. 352–364. ACM Press, New York (2000)
Friedman, D.P., Wand, M.: Reification: Reflection without Metaphysics. In: ACM Conference Proceedings of Lisp and Functional Programming, pp. 348–355 (1987)
Pattie, M.: Concepts and Experiments in Computational Reflection. In: OOPSLA 1987 Conference Proceedings, pp. 147–155 (1987)
JAVA home page. Sun Microsystems, Inc., http://java.sun.com
Blair, G., Campbell, R. (chairs): Workshop on Reflective Middleware (2000), http://www.comp.lancs.ac.uk/computing/RM2000/
Cointe, P. (ed.): Proceedings of Reflection 1999. LNCS, vol. 1616. Springer, Heidelberg (1999)
Malmkjaer, K.: On Some Semantic Issues in the Reflective Tower. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1989. LNCS, vol. 442, pp. 229–246. Springer, Heidelberg (1989)
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)
Malenfant, J.: A Semantics of Introspection in a Reflective Prototype-Based Language. Lisp and symbolic computation 9(2/3), 153–180 (1996)
Douence, R., Südholt, M.: A Generic Reification Technique for Object-Oriented Reflective Languages
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)
Sabry, A., Wadler, P.: A Reflection on Call-by-Value. ACM Transactions on Programming Languages and Systems 19(6), 916–941 (1997)
The JavaTM Tutorial, http://java.sun.com/docs/books/tutorial/reflect/
Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. In: Proc. 26th POPL, pp. 79–92. ACM Press, New York (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lv, J., Ma, S., Wang, A., Pan, J. (2005). Using Ambient in Computational Reflection Semantics Description. In: Lu, X., Zhao, W. (eds) Networking and Mobile Computing. ICCNMC 2005. Lecture Notes in Computer Science, vol 3619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11534310_115
Download citation
DOI: https://doi.org/10.1007/11534310_115
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28102-3
Online ISBN: 978-3-540-31868-2
eBook Packages: Computer ScienceComputer Science (R0)