Algebraic properties for free!

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

    Research output: Contribution to journalArticleAcademicpeer-review

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

    Fingerprint

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

    Cite this