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

Term Charters

Abstract

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)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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⟩
102 View
52 Download

Altmetric

Share

More