Constraining rule-based dynamics with typesReportar como inadecuado




Constraining rule-based dynamics with types - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

* Corresponding author 1 Informatics - School of Informatics 2 PPS - Preuves, Programmes et Systèmes 3 HMS - Harvard Medical School Boston 4 Computer Laboratory Cambridge

Abstract : 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.





Autor: Vincent Danos - Russ Harmer - Glynn Winskel -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados