Difference between revisions of "Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, M...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| 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 |
| Journal | |
| HostPublication | Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings |
| DOI | http://dx.doi.org/10.1007/978-3-642-40206-7_5 |
| Conference | CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:619611 |
| 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. |
