From reversible programming languages to reversible metalanguages (Q2139051)

From MaRDI portal
Revision as of 22:29, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
From reversible programming languages to reversible metalanguages
scientific article

    Statements

    title
    From reversible programming languages to reversible metalanguages (English)
    0 references
    author
    Robert Glück
    0 references
    Robin Kaarsgaard
    0 references
    Tetsuo Yokoyama
    0 references
    publication date
    17 May 2022
    0 references
    zbMATH DE Number
    7527764
    0 references
    zbMATH Keywords
    formal semantics
    0 references
    reversible programming
    0 references
    recursion
    0 references
    iteration
    0 references
    partial injective functions
    0 references
    describes a project that uses
    SyReC
    0 references
    LRinv
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2139051&oldid=24012609"
    Powered by MediaWiki