Constraining rule-based dynamics with types - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2013

Constraining rule-based dynamics with types

Résumé

A generalized framework of site graphs is introduced in order to provide the first fully semantic definition of the side-effect-free core of the rule-based language Kappa. This formalization allows for the use of types either to confirm that a rule respects a certain invariant or to guide a restricted refinement process that allows us to constrain its run-time applicability.
Fichier principal
Vignette du fichier
constraining_rule-based_harmer.pdf (296.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01976370 , version 1 (04-01-2021)

Identifiants

  • HAL Id : hal-01976370 , version 1

Citer

Vincent Danos, Russ Harmer, Glynn Winskel. Constraining rule-based dynamics with types. Mathematical Structures in Computer Science, 2013, 23 (02), pp.272-289. ⟨hal-01976370⟩
16 Consultations
44 Téléchargements

Partager

Gmail Facebook X LinkedIn More