ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
A calculus with code mobility
Source Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems table of contents
Canterbury, United Kingdom
Pages: 21 - 36  
Year of Publication: 1997
ISBN:0-412-82040-4
Authors
Tatsurou Sekiguchi
Akinori Yonezawa
Publisher
Chapman & Hall, Ltd.  London, UK, UK
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 6
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  

CITED BY  6
James Riely , Matthew Hennessy, Trust and partial typing in open systems of mobile agents, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.93-104, January 20-22, 1999, San Antonio, Texas, United States
Carlos Varela , Gul Agha, Programming dynamically reconfigurable open systems with SALSA, ACM SIGPLAN Notices, v.36 n.12, December 2001
Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine, The receptive distributed π-calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.549-577, September 2003
Tatsurou Sekiguchi , Takahiro Sakamoto , Akinori Yonezawa, Portable implementation of continuation operators in imperative languages by exception handling, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Dianxiang Xu , Jianwen Yin , Yi Deng , Junhua Ding, A Formal Architectural Model for Logical Agent Mobility, IEEE Transactions on Software Engineering, v.29 n.1, p.31-45, January 2003
PETER SEWELL , JAMES J. LEIFER , KEITH WANSBROUGH , FRANCESCO ZAPPA NARDELLI , MAIR ALLEN-WILLIAMS , PIERRE HABOUZIT , VIKTOR VAFEIADIS, Acute: High-level programming language design for distributed computation, Journal of Functional Programming, v.17 n.4-5, p.547-612, July 2007

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Lambda calculus and related systems

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Operational semantics


General Terms:
Design, Languages, Performance, Theory


Keywords:
code movement, mobile agent, operational semantics

Collaborative Colleagues:
Tatsurou Sekiguchi: colleagues
Akinori Yonezawa: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player