ECSP(ID:1077/ecs003)

for Extended CSP

Biardi et al Pisa 1984

An extension to CSP supporting dynamic communication channels and nested processes.


Related languages
CSP => ECSP   Extension of
References:
  • Baiardi, F. et al, "Static Type Checking of Interprocess Communication in ECSP" view details DOI Abstract: The structure of a compiler for the ECSP language is described. ECSP is a concurrent language extending Hoare's CSP: it supports dynamic communication channels and nested processes. The compilation of ECPS programs is obtained by the composition of several tools of minimal functionalities.A set of static checks on interactions between concurrent processes is described. The checks verify the mutual consistency of the interfaces of processes: an interface is given by a set of input/output channels connecting a process to its partners. It is shown that the amount and the coverage of checks depend on the entities referred to in interprocess communication constructs and that both increase with the adoption of explicit naming.The checks on process interfaces are carried on in several tool of the compiler front-end to achieve machine independence. To support separate compilation, each tool can be applied to a subset of the processes of a program.
          in SIGPLAN Notices 19(06) ACM Symposium on Compiler Construction, 1984 view details
  • D.Latella."User Interface d the ECSP Concurrent Debugger" in *MuTl%M:Di&ributed Multi- Architecture and ECSP Concufient Language". Tecnopint, Bologna.l984,pp.61-87. view details
          in SIGPLAN Notices 19(06) ACM Symposium on Compiler Construction, 1984 view details
  • N. De Francesco; D. Latella; G. Vaglini "An interactive debugger for a concurrent language" Proceedings of the 8th International Conference on Software Engineering London, England 1985 pp320-325 view details Abstract: This work deals with issues of interactive debugging for the concurrent language ECSP. The debugger matches a formal specification of the expected behavior of a program against its actual behaviour. This specification can be given at different levels of abstraction. Control is returned to the user when an error is detected. The user can then modify the flow of the computation and/or dynamically change the specification of the expected behavior. The debugger implementation is based on program transformation techniques.


          in SIGPLAN Notices 19(06) ACM Symposium on Compiler Construction, 1984 view details