The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, editor. FoSSaCS '98, Lecture Notes in Computer Science, v...
详细信息
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, editor. FoSSaCS '98, Lecture Notes in Computer Science, vol. 1378. Berlin: Springer, 1998. p. 140-55). We present a type system for AC that allows the type of exchanged data within the same ambient to vary over time. Our type system assigns what we call behaviors to processes;a denotational semantics of behaviors is proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a subject reduction property for our typed version of AC. Based on techniques borrowed from finite automata theory, type checking of fully type-annotated processes is shown to be decidable. We show that the typed version of AC originally proposed by Cardelli and Gordon (In: POPL'99, San Antonio, TX. New York: ACM Press, 1999. p. 79-92) can be naturally embedded into our typed version of AC. (C) 2002 Elsevier Science Ltd. All rights reserved.
The AGEREI workshop(1) has been organized with the ACM SPLASH conference since 2011. The workshop has brought together researchers in programming systems, languages, and applications based on actors, active/concurrent...
详细信息
The AGEREI workshop(1) has been organized with the ACM SPLASH conference since 2011. The workshop has brought together researchers in programming systems, languages, and applications based on actors, active/concurrent objects, agents, and more broadly, high-level programming paradigms which facilitate decentralized control. The goal of the workshop is to promote use of such paradigms to address the problem of developing software for complex, real-world applications. The AGERE workshop is a follow on to workshops on Object-based concurrentprogramming which were organized twenty years earlier in conjunction with OOPSLA [1-3]. In the last two decades, concurrency and distribution have become part of everyday programming. In this context, the objective of AGEREI is to foster the development and adoption of high-level programming paradigms embracing concurrency at the core of the developed abstractions and constructs. This special issue collects extended and enhanced versions of selected papers from AGERE! 2011 and 2012 which underwent additional review cycles. (C) 2014 Elsevier B.V. All rights reserved.
暂无评论