From flow logic to static type systems for coordination languages

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

Volumn 5052 LNCS, Issue , 2008, Pages 100-116

  De Nicola, Rocco ^a   Gorla, Daniele ^b   Hansen, René Rydhof ^c   Nielson, Flemming ^d   Riis Nielson, Hanne ^d   Probst, Christian W ^d   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c AALBORG UNIVERSITY   (Denmark)

^d TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER NETWORKS; FUZZY LOGIC; LINGUISTICS; MECHANICS; QUERY LANGUAGES; STATIC ANALYSIS;

(PL) PROPERTIES; COORDINATION LANGUAGES; COORDINATION MODELS; CORRECTNESS PROPERTIES; FLOW LOGIC; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); ON FLOW; PROCESS MIGRATION; SPRINGER (CO); STATIC TYPE SYSTEMS; TUPLE SPACES; TYPE SYSTEMS;

DYNAMICAL SYSTEMS;

EID: 45749115403     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_7     Document Type: Conference Paper

References (12)

1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn., Addison-Wesley, Reading (August 2006)
2. De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315-330 (1998)
3. De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science 240(1), 215-254 (2000)
4. Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80-112 (1985)
5. Gorla, D., Pugliese, R.: Resource access and mobility control with dynamic privileges acquisition. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 119-132. Springer, Heidelberg (2003)
6. Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: The First International Conference on Availability, Reliability and Security, ARES 2006, Vienna, Austria, April 2006, IEEE Computer Society Press, Los Alamitos (2006)
7. Nielson, F., Riis Nielson, H.: Types from Control Flow Analysis. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol. 4444, pp. 293-310. Springer, Heidelberg (2007)
8. Nielson, F., Riis Nielson, H., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Berlin (2005)
9. Nielson, F., Seidl, H., Riis Nielson, H.: A succinct solver for alfp. Nord. J. Comput. 9(4), 335-372 (2002)
10. Riis Nielson, H., Nielson, F.: Flow Logic: A Multi-paradigmatic Approach to Static Analysis. In: Mogensen, T.Æ., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223-244. Springer, Heidelberg (2002)
11. Schneider, F.B., Morrisett, G., Harper, R.: A Language-Based Approach to Security. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol. 2000. Springer, Heidelberg (2001)
12. Izura Udzir, N., Wood, A.M., Jacob, J.L.: Coordination with multicapabilities. Sci. Comput. Program. 64(2), 205-222 (2007)