Rule formats for distributivity

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    96 Downloads (Pure)

    Samenvatting

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the impossibility of the validity of the left-distributivity law are also offered.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's39
    StatusGepubliceerd - 2010

    Publicatie series

    NaamComputer science reports
    Volume1016
    ISSN van geprinte versie0926-4515

    Vingerafdruk Duik in de onderzoeksthema's van 'Rule formats for distributivity'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit