Behavior analysis for validating communication patterns

International Journal on Software Tools for Technology Transfer

Volumn 2, Issue 1, 1998, Pages 13-28

  Amtoft, Torben ^a   Nielson, Hanne Riis ^a   Nielson, Flemming ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Concurrent ML; Process algebras; Type and effect systems; Validation of safety conditions

Indexed keywords

BEHAVIOR ANALYSIS; COMMUNICATION PATTERN; CONCURRENT ML; CONCURRENT PROGRAM; PROCESS ALGEBRAS; REACTIVE PROGRAMS; SAFETY CONDITION; TYPE AND EFFECT SYSTEMS;

INFORMATION SYSTEMS; SOFTWARE ENGINEERING;

ALGEBRA;

EID: 84896693891     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090050015     Document Type: Article

References (34)

1. Amtoft, T., Nielson, F., Nielson, H. R.: Type and behavior reconstruction for higher-order concurrent programs. Journal of Functional Programming 7(3): 321-347, May 1997.
2. Amtoft, T., Nielson, F., Nielson, H. R.: Type and effect systems: behaviors for concurrency. Imperial College Press, to appear.
3. Amtoft, T., Nielson, F., Nielson, H. R., Ammann, J.: Polymorphic subtypes for effect analysis: the dynamic semantics. In: Analysis and Verification of Multiple-Agent Languages, SLNCS 1192, 1997, pp. 172-206.
4. Andersen, P., Christensen, A., Jehøj, H., Jensen, J. G., Olesen, T., Paulsen, J.-H.: Produktionsenheden i Concurrent ML. Student report, DAIMI, 1997 (in Danish).
5. Colby, C.: Determining storage properties of sequential and concurrent programs with assignment and structured data. In: Proc. SAS '95, SLNCS 983, 1995, pp. 64-81.
6. You-Chin Fuh, Mishra, P.: Polymorphic subtype inference: Closing the theory-practice gap. In: Proc. TAPSOFT'89, SLNCS 352, 1989, pp. 167-183.
7. You-Chin Fuh, Mishra, P.: Type inference with subtypes. Theoretical Computer Science 73(2): 155-175, 1990.
8. Gasser, K. L. S., Nielson, F., Nielson, H. R.: Systematic realisation of control flow analyzes for CML. In: Proc. ICFP'97, ACM Press, 1997, pp. 38-51.
9. Gries, D.: The Science of Programming. Berlin, Heidelberg, NewYork: Springer-Verlag, 1981.
10. Jones M. P.: A theory of qualified types. In: Proc. ESOP'92, SLNCS 582, 1992, pp. 287-306.
11. Jouvelot, P., Gifford, D. K.: Algebraic reconstruction of types and effects. In: Proc. POPL'91, ACM Press, 1991, pp. 303-310.
12. Lewerentz, C., Lindner, T. (eds.): Formal development of reactive systems; Case study Production cell. SLNCS 891, 1995.
13. Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences 17: 348-375, 1978.
14. Milner, R., Tofte, M., Harper, R.: The definition of Standard ML. MIT Press, 1990.
15. Nielson, F.: A formal type system for comparing partial evaluators. In: Bjørner, D., Ershov, A. P., Jones, N. D. (eds.): Proc. Partial Evaluation and Mixed Computation, North-Holland, 1988, pp. 349-384.
16. Nielson, F.: The typed λ-calculus with first-class processes. In: Proc. PARLE '89, SLNCS 366, 1989, pp. 357-373.
17. Nielson, F., Nielson, H. R.: From CML to process algebras. In: Proc. CONCUR'93, SLNCS 715, 1993. Full version in Theoretical Computer Science 15(1): 179-219, 1996.
18. Nielson, F., Nielson, H. R.: Infinitary control flow analysis: a collecting semantics for closure analysis. In: Proc. POPL'97. ACM Press, 1997, pp. 332-345.
19. Nielson, F., Nielson, H. R., Amtoft, T.: Polymorphic subtypes for effect analysis: the algorithm. In: Analysis and Verification of Multiple-Agent Languages, SLNCS 1192, 1997, pp. 207-243.
20. Nielson, H. R., Amtoft, T., Nielson, F.: Behavior analysis and safety conditions: a case study in CML. In: Proc. FASE' 98 (part of ETAPS' 98), SLNCS 1382, 1998, pp. 255-269.
21. Nielson, H. R., Nielson, F.: Higher-order concurrent programs with finite communication topology. In: Proc. POPL'94, ACM Press, 1994, pp. 84-97.
22. Nielson, H. R., Nielson, F.: Static and dynamic processor allocation for higher-order concurrent languages. In: Proc. TAPSOFT' 95 (FASE), SLNCS 915, 1995, pp. 590-604.
23. Nielson, H. R., Nielson, F.: Communication analysis for Concurrent ML. In: ML with Concurrency: Design, Analysis, Implementation and Application (editor: Flemming Nielson), Springer-Verlag, Monographs in Computer Science, 1997.
24. Nielson, H. R., Nielson, F., Amtoft, T.: Polymorphic subtypes for effect analysis: the static semantics. In: Analysis and Veri fication of Multiple-Agent Languages, SLNCS 1192, 1997, pp. 141-171.
25. Reppy, J. H.: Concurrent ML: Design, application and semantics. In: Proc. Functional Programming, Concurrency, Simulation and Automated Reasoning, SLNCS 693, 1993, pp. 165-198.
26. Rischel, H., Sun, H.: Design and prototyping of real-time systems using CSP and CML. In: Proc. 9th EuromicroWorkshop on Real-Time Systems, Toledo, Spain, IEEE Computer Society Press, 1997, pp. 121-127.
27. Robinson, J. A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1): 23-41, 1965.
28. Smith, G. S.: Polymorphic type inference with overloading and subtyping. In: Proc. TAPSOFT'93, SLNCS 668, 1993, pp. 671-685. Also see: Principal type schemes for functional programs with overloading and subtyping: Science of Computer Programming 23, 1994, pp. 197-226.
29. Talpin, J.-P., Jouvelot, P.: Polymorphic type, region and effect inference. Journal of Functional Programming 2(3): 245-271, 1992.
30. Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Information and Computation, 111: 245-296, 1994.
31. Yan-Mei Tang: Control flow analysis by effect systems and abstract interpretation. Ph. D. thesis, Ecoles des Mines de Paris, 1994.
32. Thomsen, B., Leth, L., Tsung-Min Kuo: FACILE-from Toy to Tool. In: Nielson, F. (ed): ML with Concurrency: Design, Analysis, Implementation and Application, Berlin, Heidelberg, NewYork: Springer-Verlag, Monographs in Computer Science, 1997.
33. Tofte, M., Talpin, J.-P.: Implementation of the typed call-byvalue λ-calculus using a stack of regions. In: Proc. POPL'94, ACM Press, 1994, pp. 188-201.
34. Victor, B., Moller, F.: The Mobility Workbench-A Tool for the π-calculus. In: Proc. CAV'94: Computer Aided Verification, SLNCS 818, 1994, pp. 428-440.