Behaviour analysis and safety conditions: A case study in CML

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

Volumn 1382, Issue , 1998, Pages 255-269

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

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Embedded systems; Formal program development; Program analysis

Indexed keywords

EMBEDDED SYSTEMS; INFERENCE ENGINES; SAFETY ENGINEERING;

AUTOMATIC INFERENCE; BEHAVIOUR ANALYSIS; FORMAL PROGRAM DEVELOPMENT; PROCESS ALGEBRAS; PRODUCTION CELLS; PROGRAM ANALYSIS; SAFETY CONDITION; TYPE AND EFFECT SYSTEMS;

SOFTWARE ENGINEERING;

EID: 84957106602     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053595     Document Type: Conference Paper

References (10)

1. T. Amtoft, F. Nielson, and H. R. Nielson. Polymorphic subtyping for side effects. Book manuscript, DAIMI PB-529, Aarhus Univesity, 1997.
2. T. Amtoft, H. R. Nielson, and F. Nielson. Behaviour analysis for validating communication patterns. DAIMI PB-527, Aarhus University, 1997.
3. K. L. S. Gasser, F. Nielson, and H. R. Nielson. Systematic realisation of control flow analyses for CML. In Proceedings of ICFP'97, pages 38-51. ACM Press, 1997.
4. C. Lewerentz and T. Lindner. Formal Development of Reactive Systems, Case Study "Production Cell." SLNCS vol 891, Springer Verlag, 1995.
5. R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, 1990.
6. F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis: Flows and Effects. To appear, 1999.
7. H. R. Nielson and F. Nielson. Higher-Order Concurrent Programs with Finite Communication Topology. In Proc. POPL '94, 1994.
8. H. R. Nielson and F. Nielson. Communication analysis for Concurrent ML. In ML with Concurrency, Monographs in Computer Science. Springer-Verlag, 1997.
9. J. H. Reppy. Concurrent ML: Design, application and semantics. In Proc. Functional programming, Concurrency, Simulation and Automated Reasoning, SLNCS 693, pages 165-19, 1993.
10. H. Rischel and H. Sun. Design and prototyping of real-time systems using CSP and CML. In Proc. 9th Euromicro Workshop on Real-Time Systems, pages 121-127. IEEE Computer Society Press, 1997.