From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uwm.edu!psuvax1!rutgers!aramis.rutgers.edu!athos.rutgers.edu!masticol
From: masticol@athos.rutgers.edu (Steve Masticola)
Newsgroups: comp.lang.ada
Subject: Request for Ada tasking programs
Keywords: data for static deadlock analyzer
Message-ID: <Apr.30.19.23.32.1991.26063@athos.rutgers.edu>
Date: 30 Apr 91 23:23:34 GMT
Organization: Rutgers Univ., New Brunswick, N.J.
List-Id: <comp.lang.ada>


Hi,
	I'm working on static analysis of Ada source programs to
detect deadlock, and am in need of Ada source code with tasking. The
requirements are a bit peculiar; I'd like code with a large number of
tasks, signal types, entries, and entry calls, but without TASK TYPE
declarations or entry calls across procedure boundaries. (If you're in
doubt, please send your code in anyway; I may be able to edit it to do
what I need.)

	Thanks to those who have responded in the past, too.

Thanks in advance,
- Steve (masticol@cs.rutgers.edu)