next up previous
Next: Translation to Description Up: Formal Specification of Previous: Channels

Other Semantic Issues

The formal semantics given in the previous subsections are mostly dealing with PJ's language elements. Due to lack of space, we left out many conditions specifying more complex semantic issues. In the following we roughly sketch out important notions concerned with these issues:

The complete set of specifications is sufficient to describe semantics of static PJ programs. This property is verified through the analysis of example programs resulting in a semantic network which can be used to create executable PJ programs.

Volker Haarslev
Wed Jan 31 15:50:43 MET 1996