Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
Author Luca Aceto and Eugen-Ioan Goriac and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel A Reniers
Year 2013
PublicationType Conference Paper
HostPublication Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings
Conference CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland
Diva url
Abstract In the field of structural operational semantics (SOS), there have beenseveral proposals both for syntactic rule formats guaranteeing the validity ofalgebraic laws, and for algorithms for automatically generatingground-complete axiomatizations. However, there has been no synergybetween these two types of results. This paper takes the first stepsin marrying these two areas of research in the meta-theory of SOS%structural operational semanticsand shows that taking algebraic laws into account in the mechanicalgeneration of axiomatizations results in simpler axiomatizations. Theproposed theory is applied to a paradigmatic example from the literature,showing that, in this case, the generated axiomatization coincideswith a classic hand-crafted one.