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.
Official URL: http://www.ieeexplore.ieee.org/stamp/stamp.jsp?tp=...
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|
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:||Science & Technology > Software Process, Practice & Design|
|Deposited On:||18 May 2009 12:33|
|Last Modified:||06 Feb 2013 11:40|
Repository Staff Only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year