Browse wiki

From CERES
Jump to: navigation, search
Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
Abstract <p>In the field of structural operat<p>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.</p>with a classic hand-crafted one.</p>
Author Luca Aceto + , Eugen-Ioan Goriac + , Anna Ingolfsdottir + , Mohammad Reza Mousavi + , Michel A Reniers +
Conference CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland
DOI http://dx.doi.org/10.1007/978-3-642-40206-7_5  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:619611
EndPage 50  +
HostPublication Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings  +
PublicationType Conference Paper  +
Publisher Springer Berlin/Heidelberg  +
Series Lecture Notes in Computer Science ; 8089  +
StartPage 36  +
Title Exploiting Algebraic Laws to Improve Mechanized Axiomatizations  +
Year 2013  +
Has queryThis property is a special property in this wiki. Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + , Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:17  +
show properties that link here 

 

Enter the name of the page to start browsing from.