Term Charters - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Term Charters

Alexander Knapp
  • Fonction : Auteur
  • PersonId : 994810
María Victoria Cengarle
  • Fonction : Auteur
  • PersonId : 1058307

Résumé

Expressions in specification and programming languages often extend algebraic terms by additional term formation rules and enlarged evaluation domains. For use in different contexts, the semantics of these expressions must allow for interface modification, that is, evaluation must be compatible with signature translation and with variable renaming. This work introduces term charters as an abstract framework for terms and expressions following the slogan “evaluation is invariant under change of notation”. Several examples illustrate the use of term charters. Different term charter representations are discussed and morphisms between term charters are defined. Finally, the relation of term charters with institutions in general and with context institutions in particular is demonstrated.
Fichier principal
Vignette du fichier
486157_1_En_7_Chapter.pdf (560.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02364571 , version 1 (15-11-2019)

Licence

Paternité

Identifiants

Citer

Alexander Knapp, María Victoria Cengarle. Term Charters. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩. ⟨hal-02364571⟩
85 Consultations
29 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More