More on advice on structuring compilers and proving them correct (Q1156472)

From MaRDI portal
Revision as of 20:47, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
More on advice on structuring compilers and proving them correct
scientific article

    Statements

    title
    More on advice on structuring compilers and proving them correct (English)
    0 references
    author
    James W. Thatcher
    0 references
    Eric G. Wagner
    0 references
    Jesse B. Wright
    0 references
    publication date
    1981
    0 references
    Mathematics Subject Classification ID
    68N01
    0 references
    68Q60
    0 references
    68N25
    0 references
    zbMATH DE Number
    3735096
    0 references
    Wikidata QID
    Q122858403
    0 references
    OpenAlex ID
    W1984841973
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1156472&oldid=31609861"
    Powered by MediaWiki