Algebraic Properties for Free!

Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers, Bulletin of the European Association for Theoretical Computer Science (BEATCS), Concurrency Column,, 99:81--104, October 2009.

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.

(Paper in .ps format   in .pdf format)  

@Article{Mousavi-BEATCS09,
    author      = "Aceto, Luca and Ingolfsdottir, Anna and Mousavi, MohammadReza and Reniers, Michel A.",
    title       = "Algebraic Properties for Free!",
    journal     = "Bulletin of the European Association for Theoretical Computer Science ({BEATCS})",
    volume      = "99",
    pages       = "81--104",
    year        = "2009"
}

Back to Publications Page