Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!agate!darkstar!cis.ksu.edu
From: frain@cis.ksu.edu (Jerry Frain)
Newsgroups: comp.os.research
Subject: PPE -> semaphore code?
Message-ID: <16085@darkstar.ucsc.edu>
Date: 21 May 91 06:33:09 GMT
Article-I.D.: darkstar.16085
Sender: usenet@darkstar.ucsc.edu
Organization: Kansas State University, Department of Computing and Information Sciences
Lines: 23
Approved: comp-os-research@jupiter.ucsc.edu


Greetings,

Part of a research project I am working on requires the translation of
predicate path expressions (PPE) [Campbell and Habermann, 1974] to an
implementation using semaphores.

I have the PPE BNF, and a very general algorithm for converting PPEs
to guarded commands and cobegin-coend constructs, but I am wondering
if anyone has some code (preferably in yacc/lex/C) for translating PPEs
to UNIX System V semaphores that they would be willing to share?

I'd also be grateful for any pointers to references on related material.

Thanks in advance,

  --Jerry

--
Jerry Frain -- Systems Programmer               Kansas State University
                                        Department of Computing & Info Sciences
Internet : frain@cis.ksu.edu                       Manhattan, Kansas
UUCP     : ...!rutgers!ksuvax1!frain