Proof of the Instrumented Semantics for Orc - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2015

Proof of the Instrumented Semantics for Orc

Matthieu Perrin
Gestion de Données Distribuées [Nantes]
AELOS
CV
Claude Jard
AELOS
Achour Mostefaoui
Gestion de Données Distribuées [Nantes]

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.

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Langage de programmation [cs.PL]
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)

Matthieu Perrin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01101340

Soumis le : mardi 13 janvier 2015-17:01:15

Dernière modification le : vendredi 5 janvier 2024-03:24:23

Archivage à long terme le : mardi 14 avril 2015-11:21:53

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS LINA LINA-GDD LINA-AELOS LARA LS2N NANTES-UNIVERSITE
174 Consultations
100 Téléchargements

Partager

More