Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv  Home/Search
Context Related
| math.tau.ac.il/~sagiv/nielson.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.tau.ac.il/~sagiv/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambient calculus. The technique is based on modeling the semantics of the language in a two-valued logic; by reinterpreting the logical formulae in Kleene's three-valued logic we obtain an analysis allowing us to reason about may as well as must properties. The correctness of the approach follows from a general Embedding Theorem for ... (Update)
Cited by: More
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (Correct)
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
Active bibliography (related documents): More All
2.1: Shape Analysis for Mobile Ambients - Nielson, Nielson (2000) (Correct)
0.5: Validating Firewalls in Mobile Ambients - Nielson, Nielson, Hansen, Jensen (1999) (Correct)
0.4: Safe Ambients: Control Flow Analysis and Security. - Pierpaolo Degano Francesca (Correct)
Similar documents based on text: More All
0.4: A Succinct Solver for ALFP - Nielson, Seidl, Nielson (2002) (Correct)
0.4: Experiments with Succinct Solvers - Buchholtz, Nielson, Nielson (2002) (Correct)
0.3: Succinct Solvers - Nielson, Seidl (2001) (Correct)
Related documents from co-citation: More All
14: Mobile ambients - Cardelli, Gordon - 1998
11: Types for mobile ambients - Cardelli, Gordon - 1999
11: Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
BibTeX entry: (Update)
F. Nielson, H.R. Nielson, and M. Sagiv. A kleene analysis of mobile ambients. In Proceedings of the 2000 European Symposium On Programming, March 2000. http://citeseer.ist.psu.edu/nielson00kleene.html More
@article{ nielson00kleene,
author = "Flemming Nielson and Hanne Riis Nielson and Mooly Sagiv",
title = "A {Kleene} Analysis of Mobile Ambients",
journal = "Lecture Notes in Computer Science",
volume = "1782",
pages = "305+",
year = "2000",
url = "citeseer.ist.psu.edu/nielson00kleene.html" }
Citations (may not include all citations):343 Introduction to Metamathematics (context) - Kleene - 1987
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
82 Anywhere: Modal Logics for Mobile Ambients (context) - Cardelli, Gordon - 2000
32 Multivalued logics: A uniform approach to inference in artif.. - Ginsberg - 1988
8 Gordon: Mobile ambients (context) - Cardelli - 1998
8 Gordon: Types for mobile ambients (context) - Cardelli - 1999
7 Gordon: Mobility types for mobile ambients (context) - Cardelli, Ghelli - 1999
5 Sangiorgi: Controlling Interference in Ambients (context) - Levi - 2000
4 Volume 1: Propositional Logics (context) - Epstein, Foundations - 1990
4 Hankin: Principles of Program Analysis (context) - Nielson, Nielson - 1999
3 A Comparison of Various Logical Lexica (context) - Hoddes, An - 1989
2 Riis Nielson: Abstract Interpretation of Mobile Ambients (context) - Hansen, Jensen et al. - 1999
2 Jensen: Validating Firewalls in Mobile Ambients (context) - Nielson, Nielson et al. - 1999
2 Wilhelm: Parametric Shape Analysis via 3-Valued Logic (context) - Sagiv, Reps - 1999
1 Tel Aviv University (context) - Lev-Ami, for et al. - 2000
1 Riis Nielson: Shape Analysis for Mobile Ambients (context) - Nielson - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~sagiv/): More
Building A Bridge Between Pointer Aliases And Program Dependences - Ross (1998) (Correct)
A Decidable Logic for Describing Linked Data Structures - Benedikt, Reps, Sagiv (1999) (Correct)
Detecting Memory Errors via Static Pointer Analysis.. - Dor, Rodeh, Sagiv (1998) (Correct)
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