Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!fpst
From: nm@chaos.cs.brandeis.edu (Nicolas Mercouroff)
Newsgroups: comp.parallel
Subject: A static analyzer of CSP on the Macintosh
Keywords: CSP, OCCAM, Macintosh, parallelism
Message-ID: <1991Jun21.171541.20448@hubcap.clemson.edu>
Date: 20 Jun 91 18:57:35 GMT
Sender: usenet@news.cs.brandeis.edu
Organization: Brandeis University
Lines: 2093
Approved: parallel@hubcap.clemson.edu
To: comp-parallel%uunet.uucp@uunet.UU.NET


-----------------------------------------------------------------------------
	AStICo: A static analyzer of communicating 
		processes on the Macintosh
-----------------------------------------------------------------------------

1. Purpose

AStICo is a tool, running under Macintosh OS, for statically analyzing 
communications between concurrent processes using abstract interpretation 
methods. 

It analyzes a program written in an OCCAM-like syntax, and finds 
an approximate set larger than the set of all pairs of i/o commands 
which can be synchronized during a computation. 

For more details about the method, see : ``Automatic detection of 
communicating failures,'' N.Mercouroff, These de l'Ecole Polytechnique, 
published in 1990, or ``An Algorithm for Analyzing Communicating 
Processes,'' N.Mercouroff, Research report of the Laboratoire 
d'Informatique de l'Ecole Polytechnique, (LIX/RR/90/12), and
Proceedings of the conference MATHEMATICAL FOUNDATIONS OF PROGRAMMING 
SEMANTICS, Carnegie Mellon University, Pittsburgh, Pennsylvania, 
25-28 Mars 1991, to appear in Lecture Notes in Computer Science, 
Springer-Verlag ed. 

2. Author

The program AStICo, and the method to analyze communicating 
programs were created by myself : 

	Nicolas Mercouroff
 	Dept. of Computer Sciences,
	Brandeis University,
	Waltham, MA 02154, USA
	Usenet : nm@cs.brandeis.edu 

during my PhD in Computer Science at the LIX, Laboratoire d'Informatique 
de l'Ecole Polytechnique, supervised by professor P.Cousot.

3. Directions for downloading AStICo

Save and transfer this message to a macintosh, then with any compression
utilities for the Macintosh (BinHex 4.0, StuffIt, Compact Pro, ...),
un-BinHex it. You will obtain a self-extracting archive, which means that
you just have to double-click on the application to uncompress the archive.
The package contains ``AStICo 2.1,'' the analyzer itself, along with 
``Doc AStICo,'' and a folder with examples.


-Nicolas Mercouroff		nm@cs.brandeis.edu
 Dept. of Computer Sciences, Brandeis University, Waltham, MA 02154
-- 
=========================== MODERATOR ==============================
Steve Stevenson                            {steve,fpst}@hubcap.clemson.edu
Department of Computer Science,            comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell