M. Abadi and L. Cardelli. An imperative object calculus: basic typing and soundness. Theory and Practise of Object Systems, 1(3):151--166, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Objects as Mobile Processes - Hüttel, Kleist (1996) (5 citations) (Correct)
....encodings of the calculus into the calculus. His work is very similar to the work presented in this paper ; however, Sangiorgi uses a version of the synchronous calculus extended with a case operator. The authors are currently working on an encoding of the imperative object calculus [AC95b, AC95a]. The imperative object calculus is interesting in that it incorporates references to objects, a phenomenon common to many object oriented programming languages. Because of the presence of references, the semantics of the imperative object calculus is quite similar to our encoding. ....
M. Abadi and L. Cardelli. An imperative object calculus: Basic typing and soundness. In SIPL '95 - Proc. Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UIUCDCS-R-95-
A Calculus for Concurrent Objects - Di Blasio, Fisher (1996) (14 citations) (Correct)
....naturalness of adding concurrency to such calculi, this approach has not been extensively investigated. To our knowledge, Cardelli s object based language for distributed computation Obliq [Car95] is the only existing language that adopts this philosophy. Except for its sequential imperative core [AC95], however, no formal study of Obliq s semantics or its types has been carried out. The general goal of this research is to establish theoretical foundations for concurrent object oriented programming, focusing on the development of intuitive semantics and sound type systems. As a first step ....
M. Abadi and L. Cardelli. An imperative object calculus: basic typing and soundness. In Proc. of second ACM-SIGPLAN workshop on state in programming Languages, 1995.
Formal Models for Aspect-Oriented Software Development - Skipper (2004) (Correct)
No context found.
M. Abadi and L. Cardelli. An imperative object calculus: basic typing and soundness. Theory and Practise of Object Systems, 1(3):151--166, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC