scientific article; zbMATH DE number 2243645

MaRDI QIDQ5715840zbMATH OpenFDO

Authors Vl. Val. Voevodin

Publication date 5 January 2006

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Static mapping of process graphs
• Graphs and algorithms
• Description of input and output data of programs fragments
• Publication:4940927
• scientific article; zbMATH DE number 2087567

Cited in

(7)

• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Controlling information on program transformations: I. Analysis of problems and ways of their solution with methods of artificial intelligence
• Static analysis: a brief survey
• Static analysis by abstract interpretation: a mathematical programming approach
• A method of static program correctness checking
• scientific article; zbMATH DE number 1407672 (Why is no real title available?)
• Static analysis based on formal models and incremental computation in Go programming

This page was built for publication:

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