The ability to independently describe operational rules is indispensable for a modular description of programming languages. This paper introduces a format for open-ended rules and proves that conservatively adding new rules results in well-behaved translations between the models of the operational semantics. Silent transitions in our operational model are truly unobservable, which enables one to prove the validity of algebraic laws between programs. We also show that algebraic laws are preserved by extensions of the language and that they are substitutive. The work presented in this paper is developed within the framework of bialgebraic semantics. © 2013 Springer-Verlag.
CITATION STYLE
Madlener, K., Smetsers, S., & Van Eekelen, M. (2013). Modular bialgebraic semantics and algebraic laws. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8129 LNCS, pp. 46–60). Springer Verlag. https://doi.org/10.1007/978-3-642-40922-6_4
Mendeley helps you to discover research relevant for your work.