%0 Conference Proceedings
%T Term Charters
%+ Universität Augsburg [Augsburg]
%A Knapp, Alexander
%A Cengarle, María, Victoria
%Z Part 3: Contributed Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Workshop on Algebraic Development Techniques (WADT)
%C Egham, United Kingdom
%Y José Luiz Fiadeiro
%Y Ionuț Țuțu
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-11563
%P 119-138
%8 2018-07-02
%D 2018
%R 10.1007/978-3-030-23220-7_7
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02364571/document
%2 https://inria.hal.science/hal-02364571/file/486157_1_En_7_Chapter.pdf
%L hal-02364571
%U https://inria.hal.science/hal-02364571
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-11563