Static safety for an actor dedicated process calculus by abstract interpretation

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

Volumn 4037 LNCS, Issue , 2006, Pages 78-92

  Garoche, Pierre Loïc ^a   Pantel, Marc ^a   Thirioux, Xavier ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA FLOW ANALYSIS; DATA PROCESSING; FLOW CONTROL;

ABSTRACT INTERPRETATION; CONSTRAINT SET RESOLUTION; DEDICATED PROCESS CALCULUS; STATIC SAFETY;

DATA REDUCTION;

EID: 33746216415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_8     Document Type: Conference Paper

References (29)

1. G. Agha. Actors: A model of concurrent computation in distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. T. Amtoft, F. Nielson, and H. R. Nielson. Type and behaviour reconstruction for higher-order concurrent programs. Journal of Functional Programming, 7(3):321-347, 1997.
3. G. Boudol. Typing the use of resources in a concurrent calculus. In Proc. of ASIAN'97, volume 1345 of LNCS, 1997.
4. C. Carrez, A. Fantechi, and E. Najm. Behavioural contracts for a sound composition of components. In Proc. of FORTE 2003, volume 2767 of LNCS. Springer, 2003.
5. S. Chaki, S. Rajamani, and J. Rehof. Types as models: model checking message-passing programs. In Proc. of POPL'02. ACM Press, 2002.
6. J.-L. Colaco, M. Pantel, F. Dagnat, and P. Salle. Static safety analysis for non-uniform service availability in Actors. In Proc. of FMOODS'99, volume 139, pages 371-386. Kluwer, B.V., 1999.
7. J.-L. Colaço, M. Pantel, and P. Sallé. An actor dedicated process calculus. In Proc. of the ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, 1996.
8. J.-L. Colaço, M. Pantel, and P. Sallé. Static analysis of behavior changes in Actor languages. In Object-Oriented Parallel and Distributed Programming, pages 53-72. Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, Prance, 2000.
9. M. Colin, X. Thirioux, and M. Pantel. Temporal logic based static analysis for non uniform behaviors. In Proc. of FMOODS'03. Springer, 2003.
10. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. of POPL'77, pages 238-252. ACM Press, 1977.
11. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511-547, 1992.
12. J. Feret. Occurrence counting analysis for the pi-calculus. In Proc. of the 1st Workshop on GEometry and Topology in COncurrency Theory, volume 39.2 of ENTCS. Elsevier, 2001.
13. J. Feret. Dependency analysis of mobile systems. In Proc. of ESOP'02, number 2305 in LNCS. Springer, 2002.
14. J. Feret. Abstract interpretation of mobile systems. Journal of Logic and Algebraic Programming, 63.1, 2005. special issue on pi-calculus, 2005.
15. J. Feret. Analysis of Mobile Systems by Abstract Interpretation. PhD thesis, École polytechnique, Paris, France, february 2005.
16. C. Fournet, C. Lavene, L. Maranget, and D. Rémy. Implicit typing à la ml for the joincalculus. In Proc. of CONCUR'97, volume 1283 of LNCS. Springer, 1997.
17. P.-L. Garoche. Static analysis of actors by abstract interpretation. Master's thesis, École Normale Suprieure de Cachan, 2005.
18. M. Hennessy, J. Rathke, and N. Yoshida. Safedpi: a language for controlling mobile code. In Proc. of FoSSaCS'04, LNCS, pages 241-256. Springer, 2004.
19. C. Hewitt, P. Bishop, and R. Steiger. A universal modular actor formalism for artificial intelligence. In Proc. of IJCAI'73, 1973.
20. A. Igarashi and N. Kobayashi. A generic type system for the pi-calculus. Theoretical Computer Science, 311(1-3):121-163, January 2004.
21. M. Karr. Affine relationships among variables of a program. Acta Information, 6:133 - 151, 1976.
22. N. Kobayashi. A type system for lock-free processes. Information and Computation, 177(2): 122-159, 2002.
23. E. Najm, A. Nimour, and J.-B. Stefani. Infinite types for distributed object interfaces. In Proc. of FMOODS'99, volume 139. Kluwer, B.V., 1999.
24. J. Palsberg and P. O'Keefe. A type system equivalent to flow analysis. In Proc. of POPL'95, pages 367-378, 1995.
25. R. Parikh. On context-free languages. Journal of the ACM, 13(4):570-581, 1966.
26. F. Puntigam. Types for Active Objects based on Trace Semantics. In Elie Najm et al., editor, Proc. of FMOODS'96, Paris, France, 1996. Chapman & Hall.
27. S. Rajamani and J. Rehof. A behavioral module system for the pi-calculus. In Proc. of SAS'01, volume 2126 of LNCS, pages 375-394. Springer, 2001.
28. A. Ravara and V. Vasconcelos. Typing non-uniform concurrent objects. In Proc. of CONCUR'00, volume 1877 of LNCS. Springer, 2000.
29. A. Venet. Static Analysis of Dynamic Graph Strutures in Untyped Languages. PhD thesis, École polytechnique, Paris, France, december 1998.