Results 11 
17 of
17
A Study on Mobile Language Systems
, 1999
"... The mobile form of distributed computation, called mobile computation, is investigated from the viewpoints of computational model, programming language and implementation. The emphasis of this thesis compared with the related work is on analyzing existing mobile language systems from a rather implem ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
The mobile form of distributed computation, called mobile computation, is investigated from the viewpoints of computational model, programming language and implementation. The emphasis of this thesis compared with the related work is on analyzing existing mobile language systems from a rather implementational point of view. The contribution of this thesis is threefold. (1) We present a computational model in which dynamic transference of code, data and execution state can be represented. Several mobility mechanisms in existing mobile language systems are analyzed in the model. (2) Based on the analysis, a programming language for mobile computation is designed. The distinctive feature of the language is the facility to control the transparency of migration. (3) An implementation of the mobile programming language is presented. The language is implemented as an extension of the Java language. The implementation is so portable that the program runs on any standard Java inte...
Pict Language Definition
, 1996
"... ions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.4 Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.5 Type constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
ions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.4 Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.5 Type constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.6 Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.3.7 Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.3.8 Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.3.9 Kinds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.3.10 Miscellaneous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4 ExtraLinguistic Features 13 4.1 Separate Compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4.2 Inline C Code . . . . . . . ...
Compiler Correctness for Concurrent Languages
 in proc. Coordination'96
, 1994
"... . This paper extends previous work in compiler derivation and verification to languages with trueconcurrency semantics. We extend the calculus to model processcentered concurrent computation, and give the semantics of a small language in terms of this calculus. We then define a target abstract m ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
. This paper extends previous work in compiler derivation and verification to languages with trueconcurrency semantics. We extend the calculus to model processcentered concurrent computation, and give the semantics of a small language in terms of this calculus. We then define a target abstract machine whose states have denotations in the same calculus. We prove the correctness of a compiler for our language: the denotation of the compiled code is shown to be strongly bisimilar to the denotation of the source program, and the abstract machine running the compiled code is shown to be branchingbisimilar to the source program's denotation. 1 Introduction Our original goal was to verify a compiler for Linda [8], using that language as a representative of modern concurrent language design. Upon searching the literature, we found a vast amount of work on models of concurrency, but little that was obviously applicable to compiler derivation and verification. Accordingly we decided to tac...
Denotational Semantics for a HigherOrder Extension of the Monadic \pi Calculus (draft paper)
"... We study a version of the higherorder #calculus where transmittable items include items of ground type, such as communication channel names, but functions into processes as well. After providing operational semantics to the language we lay out a basic equational theory # which includes interleavin ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We study a version of the higherorder #calculus where transmittable items include items of ground type, such as communication channel names, but functions into processes as well. After providing operational semantics to the language we lay out a basic equational theory # which includes interleaving and normal form laws. We then construct a denotational model by solving an appropriate domain equation in a functor category. We provide explicit constructions of the syntactic operators and demonstrate (1) that the equational theory # presented is valid in the model. Finally, (2) we derive from validity of # a Computational Adequacy Theorem for the model. 1 Preliminaries Interest in recent years has clearly turned to languages for describing distributed systems as well as to languages with higherorder features and languages incorporating both functional and concurrent features. Relevant work includes, among others, CML [16], the #calculus [14], the Join Calculus [7], and Facile [5]. La...
Analysis for Concurrent Objects
 In H. Bowman and J. Derrick (Eds.), Proceedings FMOODS'97
, 1996
"... We present a setbased control flow analysis for an imperative, concurrent object calculus extending the FisherHonsellMitchell functional objectoriented calculus described in [5]. The analysis is shown to be sound with respect to a transitionsystem semantics. Keywords: concurrent objectoriented ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We present a setbased control flow analysis for an imperative, concurrent object calculus extending the FisherHonsellMitchell functional objectoriented calculus described in [5]. The analysis is shown to be sound with respect to a transitionsystem semantics. Keywords: concurrent objectoriented, controlflow analysis, soundness, prototypebased 1
From a Concurrent lambdacalculus to the picalculus
"... . We explore the (dynamic) semantics of a simply typed  calculus enriched with parallel composition, dynamic channel generation, and inputoutput communication primitives. The calculus, called the k  calculus, can be regarded as the kernel of concurrentfunctional languages such as LCS, CML and ..."
Abstract
 Add to MetaCart
. We explore the (dynamic) semantics of a simply typed  calculus enriched with parallel composition, dynamic channel generation, and inputoutput communication primitives. The calculus, called the k  calculus, can be regarded as the kernel of concurrentfunctional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of programs, and the development of modal specification languages. The main technical contribution of this paper is the proof of adequacy of a compact translation of the k calculus into the ßcalculus. 1 Introduction Programming languages that combine functional and concurrent programming, such as LCS [4], CML [11] and Facile [5, 14], are starting to emerge and get applied  some, like Facile, in industrial settings. These languages are conceived for programming of reactive systems and distributed systems. A main motivation for using such languages is that they offer integration of differe...
A ControlFlow Analysis for a Calculus of Concurrent Objects
, 1997
"... We present a setbased control flow analysis for an imperative, concurrent object calculus extending the FisherHonsellMitchell functional objectoriented calculus described in [5]. The analysis is shown to be sound withrespect to a transition system semantics. ..."
Abstract
 Add to MetaCart
We present a setbased control flow analysis for an imperative, concurrent object calculus extending the FisherHonsellMitchell functional objectoriented calculus described in [5]. The analysis is shown to be sound withrespect to a transition system semantics.