A Kleene analysis of mobile ambients

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1782, Issue , 2000, Pages 305-319

  Nielson, Flemming ^a   Riis Nielson, Hanne ^a   Sagiv, Mooly ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CALCULATIONS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); EMBEDDINGS; MODELING LANGUAGES; SEMANTICS;

AMBIENT CALCULUS; EMBEDDING THEOREMS; HIERARCHICAL STRUCTURES; LOGICAL FORMULAS; POINTER STRUCTURES; PROGRAM ANALYSIS; THREE-VALUED LOGIC; TIME AND SPACE COMPLEXITY;

MANY VALUED LOGICS;

EID: 84947294115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46425-5_20     Document Type: Conference Paper

References (18)

1. L. Cardelli, A. D. Gordon: Mobile ambients. In Proc. FoSSaCS'98, vol. 1378 of LNCS, pages 140-155, Springer, 1998.
2. L. Cardelli, A. D. Gordon: Types for mobile ambients. In Proc. POPL'99, ACM Press, 1999.
3. L. Cardelli, G. Ghelli, A. D. Gordon: Mobility types for mobile ambients. In Proc. ICALP'99, LNCS, Springer, 1999.
4. L. Cardelli and A. D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. In Proc. POPL'00, ACM Press, 2000.
5. D.R. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 296-310, ACM Press, 1990.
6. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, ACM Press, 1979.
7. R.L. Epstein. The Semantic Foundations of Logic, Volume 1: Propositional Logics. Kluwer Academic Publishers, 1990.
8. M.L. Ginsberg. Multivalued logics: A uniform approach to inference in artificial intelligence. In Comp. Intell., 4:265-316, 1988.
9. R. R. Hansen, J. G. Jensen, F. Nielson, H. Riis Nielson: Abstract Interpretation of Mobile Ambients. In Proc. SAS'99, vol. 1694 of LNCS, Springer, 1999.
10. H. Hoddes. Three-Valued Logics: An Introduction, A Comparison of Various Logical Lexica, and Some Philosophical Remarks. In Annals of Pure and Applied Logic, 1989.
11. S.C. Kleene. Introduction to Metamathematics. North-Holland, second edition, 1987.
12. T. Lev-Ami: TVLA: a framework for Kleene based static analysis. M.Sc. thesis, Tel Aviv University, January 2000.
13. F. Levi and D. Sangiorgi: Controlling Interference in Ambients. In Proc. POPL'00, ACM Press, 2000.
14. F. Nielson: Semantics-Directed Program Analysis: A Tool-Maker's Perspective. In Proc. SAS'96, vol. 1145 of LNCS, Springer, 1996.
15. F. Nielson, H. Riis Nielson, C. L. Hankin: Principles of Program Analysis, Springer, 1999.
16. F. Nielson, H. Riis Nielson, R. R. Hansen, J. G. Jensen: Validating Firewalls in Mobile Ambients. In Proc. CONCUR'99, vol. 1664 of LNCS, Springer, 1999.
17. F. Nielson, H. Riis Nielson: Shape Analysis for Mobile Ambients. In Proc. POPL'00, ACM Press, 2000.
18. M. Sagiv, T. Reps, R. Wilhelm: Parametric Shape Analysis via 3-Valued Logic. In Proc. POPL'99, ACM Press, 1999.