Publications:Algebraic properties for free!
From CERES
| 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. |
