Term Charters - Recent Trends in Algebraic Development Techniques Access content directly
Conference Papers Year : 2019

Term Charters

Alexander Knapp
  • Function : Author
  • PersonId : 994810
María Victoria Cengarle
  • Function : Author
  • PersonId : 1058307


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
29 Download



Gmail Facebook X LinkedIn More