Using ambient in computational reflection semantics description

Authors:
Jianghua Lv;Shilong Ma;Aili Wang;Jing Pan
Affiliations:
National Lab of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China;National Lab of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China;307 Military Hospital, Beijing, China;School of Management, University of Science and Technology Beijing, Beijing, China
Venue:
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Year:
2005

Citing 8
Cited 0

Concepts and experiments in computational reflection

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
On some semantic issues in the reflective tower

Proceedings of the fifth international conference on Mathematical foundations of programming semantics
A semantics of introspection in a reflective prototype-based language

Lisp and Symbolic Computation - Special issue on computational reflection
A reflection on call-by-value

ACM Transactions on Programming Languages and Systems (TOPLAS)
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Reification: Reflection without metaphysics

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Quantified Score

Hi-index	0.00

Visualization

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.