Figure 4 - Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Parameter subsort structure

Reference

Executable rewriting logic semantics of Orc and formal analysis of Orc programs - Scientific Figure on ResearchGate. Available from: https://www.researchgate.net/figure/Parameter-subsort-structure_fig1_274460312 [accessed 20 May 2025]

Caption

Figure 4: Parameter subsort structure

Embed code

<a href="https://www.researchgate.net/figure/Parameter-subsort-structure_fig1_274460312"><img src="https://www.researchgate.net/profile/Musab-Alturki/publication/274460312/figure/fig1/AS:391929587093504@1470454703462/Parameter-subsort-structure.png" alt="Parameter subsort structure"/></a>