Flemming Nielson and Hanne Riis Nielson. The Flow Logic of Imperative Objects. In Proceedings of Mathematical Foundations of Computer Science, volume 1450 of Lecture Notes in Computer Science, pages 220-228. Springer Verlag, 1998.  Home/Search   Document Details and Download   Summary   Related Articles

....provides information about the movement of ambients and capabilities inside the process. The speci cation is within the framework of ow logics. This framework was chosen as it provides for concise, easily understandable speci cations and has been successfully applied to other calculi [BDNN98, NN98b, NN97] 4 Introduction The correctness of the speci cation is proved by a subject reduction result; this approach is well known from type systems. It is also proved that all processes not only admits an analysis but that a best analysis also exists. This is done by a so called Moore family ....

....or succinct. The former records all the internal ow information whereas the latter records only top level information, similar to type systems. The ow logic approach has been used for a variety of languages and calculi, such as the calculus, cf. NN97] the imperative objects calculus, cf. NN98b] and the calculus, cf. BDNN99, BDNN98] 11 Chapter 3 Introduction to Mobile Ambients In this chapter we will give a brief introduction to the language under study: the Mobile Ambients calculus. We rst motivate the need for a calculus designed speci cally with networking and mobility in ....

Flemming Nielson and Hanne Riis Nielson. The Flow Logic of Imperative Objects. In Proceedings of Mathematical Foundations of Computer Science, volume 1450 of Lecture Notes in Computer Science, pages 220-228. Springer Verlag, 1998.

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