Semantics for a distributed programming language using SACS and weakest pre-conditions.
Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.
Full text is not in this repository.
This paper describes the semantics for a distributed programming language called LIPS (language for implementing parallel systems). The formalism presented is used for the specification and verification of LIPS programs for the successful point-to-point intercommunication in distributed systems. The main focus of the paper is to define the semantics of the computational part of LIPS using Dijkstra's weakest preconditions and demonstrate the integration of SACS(specification of asynchronous communication systems) with GCL(guarded command language) using an example. SACS is a variant of SCCS specially developed for specifying point-to-point asynchronous message passing systems.
|Item Type:||Book Section|
|Additional Information:||14th International Conference on Advanced Computing and Communications, December 20-23, 2006, National Institute of Technology Karnataka ; organized by Advanced Computing & Communications Society (ACS), National Institute of Technology, Surathkal ; technically co-sponsored by IEEE Bangalore Section.|
|Research Areas:||A. > School of Science and Technology > Computer and Communications Engineering|
|Depositing User:||Repository team|
|Date Deposited:||18 May 2009 12:33|
|Last Modified:||13 Oct 2016 14:14|
Actions (login required)