[comp.os.research] PPE -> semaphore code?

frain@cis.ksu.edu (Jerry Frain) (05/21/91)

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