Some methods of automatic analysis and controllable transformation of programs
type: Item
instance of: scholarly article
title: Some methods of automatic analysis and controllable transformation of programs
zbMATH Open document ID: 1167.68364
DOI: 10.1134/S0005117908080158
author: M. A. Potapov
author: E. A. Shatokhin
published in: Automation and Remote Control
publication date: 2009-02-26T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 65D25
zbMATH DE Number: 5520011
zbMATH Keywords: obfuscation
zbMATH Keywords: ``darkening''
zbMATH Keywords: intricacy
describes a project that uses: ADIC
describes a project that uses: TAPENADE
MaRDI profile type: Publication
cites work: Automatic differentiation: techniques and applications
cites work: Q3247445
cites work: Q4028376
cites work: Q4954403
cites work: Q4737846
Recommended article: Q5714452
Recommended article: Q3830518
Recommended article: A systematic approach to abstract interpretation of program transformations
Recommended article: Q5472914
Recommended article: Q2997336
Recommended article: Automating program analysis
Recommended article: On static and dynamic control-flow information in program analysis and transformation
Recommended article: Q2754105
description: scientific article; zbMATH DE number 5520011