Difference between revisions of "Publications:Algebraic properties for free!"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=L. Aceto, A. Ingólfsdóttir, Mohammad Reza Mousavi, M. A. Reniers |PID=584...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| Title | Algebraic properties for free! |
|---|---|
| Author | L. Aceto and A. Ingólfsdóttir and Mohammad Reza Mousavi and M. A. Reniers |
| Year | 2009 |
| PublicationType | Journal Paper |
| Journal | Bulletin of the European Association for Theoretical Computer Science |
| HostPublication | |
| DOI | |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584501 |
| Abstract | Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics. |
