Proof of the Instrumented Semantics for Orc - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2015

Proof of the Instrumented Semantics for Orc

Claude Jard


This report shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on labeled asymetric event structures. This report contains the complete demonstration of correctness of this approach.
Fichier principal
Vignette du fichier
preuve_sem_instr.pdf (296.22 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01101340 , version 1 (08-01-2015)
hal-01101340 , version 2 (13-01-2015)


  • HAL Id : hal-01101340 , version 2


Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01101340v2⟩
159 View
91 Download


Gmail Facebook X LinkedIn More