scientific article; zbMATH DE number 2243645

zbMATH Open1077.68551MaRDI QIDQ5715840FDOQ5715840

Authors: Vl. Val. Voevodin 

Publication date: 5 January 2006

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (7)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)