Proving the correctness of recursion-based automatic program transformations (Q5096758)

From MaRDI portal
scientific article; zbMATH DE number 7572997
Language Label Description Also known as
English
Proving the correctness of recursion-based automatic program transformations
scientific article; zbMATH DE number 7572997

    Statements

    Identifiers