Representing proof transformations for program optimization (Q5210798)

From MaRDI portal
scientific article; zbMATH DE number 7154575
Language Label Description Also known as
English
Representing proof transformations for program optimization
scientific article; zbMATH DE number 7154575

    Statements

    Representing proof transformations for program optimization (English)
    0 references
    0 references
    21 January 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references