Algebraic properties for free!

L. Aceto, A. Ingólfsdóttir, M.R. Mousavi, M.A. Reniers

    Research output: Contribution to journalArticleAcademicpeer-review


    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.
    Original languageEnglish
    Pages (from-to)81-103
    JournalBulletin of the European Association for Theoretical Computer Science, EATCS
    Publication statusPublished - 2009


    Dive into the research topics of 'Algebraic properties for free!'. Together they form a unique fingerprint.

    Cite this