The size-change principle for program termination (Q5178875)

From MaRDI portal
Revision as of 19:08, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 6416232
Language Label Description Also known as
English
The size-change principle for program termination
scientific article; zbMATH DE number 6416232

    Statements

    title
    The size-change principle for program termination (English)
    0 references
    author
    Chin Soon Lee
    0 references
    Neil D. Jones
    0 references
    Amir M. Ben-Amram
    0 references
    publication date
    17 March 2015
    0 references
    zbMATH Keywords
    PSPACE-completeness
    0 references
    \(\omega\) automaton
    0 references
    partial evaluation
    0 references
    program analysis
    0 references
    termination
    0 references

    Identifiers

    DOI
    10.1145/360204.360210
    0 references
    Mathematics Subject Classification ID
    68N30
    0 references
    68N18
    0 references
    68Q17
    0 references
    68Q45
    0 references
    zbMATH DE Number
    6416232
    0 references
    Wikidata QID
    Q57483905
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5178875&oldid=29244577"
    Powered by MediaWiki