Programming language processing system with program translation performed by term rewriting with pattern matching

A programming language processing system for use as a computer language processing system wherein a first program described in a high level programming language is translated into a second program written in low level programming language, comprising:

• means for inputting a synchronization conjunction having a well-formed formula described on the basis of a propositional logic or a predicate logic written as a synchronization condition, said synchronization conjunction being used as a basic word in a programming language;
• and
• processing means for generating, when said synchronization conjunction is detected at a time of translating the high level programming language and according to a logic synthesizer rule, a row of statements comprising:
• a first statement for checking an establishment of said synchronization condition,
• a second statement for executing a specified process when said synchronization condition has been completed, and
• a third statement for holding wait while said synchronization condition has not yet been completed,
• said processing means converting said first program, based on said row of statements, to said second program.