Proof of the Instrumented Semantics for Orc - LINA-AELOS Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Proof of the Instrumented Semantics for Orc

Claude Jard

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-01101340 , version 2

Citer

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01101340v2⟩
156 Consultations
88 Téléchargements

Partager

Gmail Facebook X LinkedIn More