Programming Concepts and Methods PROCOMET ’98 1998
DOI: 10.1007/978-0-387-35358-6_20
|View full text |Cite
|
Sign up to set email alerts
|

Imperative Objects and Mobile Processes

Abstract: An interpretation of Abadi and Cardelli's first-order Imperative Object Calculus into a typed rr-calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate.The proof of computational adequacy makes use of (a rr-calculus version) of ready simulation, and of a factorisation of the interpretation into a functional part and a very simple imperative part. The interpretation can be used to compare and contrast the Imper… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

1
11
0

Year Published

1998
1998
2006
2006

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 23 publications
(12 citation statements)
references
References 26 publications
1
11
0
Order By: Relevance
“…Kleist and Sangiorgi have done this in [13] for the typed version of the calculus we study here, and Sangiorgi in [24] for the functional version of this calculus. Similar work has been done for parallel object oriented languages (e.g.…”
Section: Related Workmentioning
confidence: 99%
“…Kleist and Sangiorgi have done this in [13] for the typed version of the calculus we study here, and Sangiorgi in [24] for the functional version of this calculus. Similar work has been done for parallel object oriented languages (e.g.…”
Section: Related Workmentioning
confidence: 99%
“…The selection of laws of program equivalence that we establish is a first step towards an algebra of imperative objects that may be useful for future work on imperative object-oriented languages. Already, typed versions of some of our laws have been verified for a typed imperative object calculus (Kleist and Sangiorgi 1998).…”
Section: Discussionmentioning
confidence: 97%
“…In recent work, Kleist and Sangiorgi (1998) translate the first-order typed imperative object calculus into a typed π-calculus. Among other results, they verify typed versions of some of our laws by translation into bisimilar π-calculus processes.…”
Section: Related Workmentioning
confidence: 99%
“…A further difference is that the syntax of concς includes sequential composition of expressions that return results. This contrasts with the standard practice in process-based calculi [Vas94,PT95,Wal95,KS98], where the operation of returning a result is translated into sending a message on a result channel. Even though we did not explicitly address the problem of returning a result, it is easy to extend our framework by endowing agent interfaces not only with methods, but also with fields whose invocation returns an expression.…”
Section: Related Workmentioning
confidence: 94%
“…The first category includes papers that provide semantics to objects by encoding them into process calculi. Examples of systematic translations of objects into the π-calculus can be found, for instance, in [Wal95,HK96,San98,KS98]. Papers in the second category propose formal calculi where primitive constructs for objects and for concurrent processes coexist.…”
Section: Related Workmentioning
confidence: 99%