Equivalent transformations of program schemes for ``Entangling programs

DOI10.1023/A:1014885019688MaRDI QIDQ1403233zbMATH OpenOpenAlexFDO

Authors R. I. Podlovchenko

Publication date 1 September 2003

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1014885019688

zbMATH Keywords

algebraic models

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• On the construction of complete systems of equivalent transformations of program schemes
• Equivalent transformations in the model of programs with commuting and monotone operators
• scientific article; zbMATH DE number 862230
• Some equivalent transformations of recursive programs based on their schematic properties
• A transformation system complete in a class of program schemes with commuting operators

Cited in

(4)

• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
• Program schemes with constants
• scientific article; zbMATH DE number 2040801 (Why is no real title available?)
• Using algebraic models of programs for detecting metamorphic malwares

This page was built for publication: Equivalent transformations of program schemes for ``Entangling programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1403233)