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.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|