Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation (Q6164429)

From MaRDI portal





scientific article; zbMATH DE number 7719734
Language Label Description Also known as
default for all languages
No label defined
    English
    Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation
    scientific article; zbMATH DE number 7719734

      Statements

      Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation (English)
      0 references
      0 references
      0 references
      28 July 2023
      0 references
      abstract interpretation
      0 references
      code obfuscation
      0 references
      program interpretation
      0 references
      Jones-optimality
      0 references

      Identifiers