Multilevel static analysis for improving program quality

DOI10.1134/S0361768817060044zbMath1455.68043OpenAlexW2775714401WikidataQ120931682 ScholiaQ120931682MaRDI QIDQ2216856

A. A. Belevantsev

Publication date: 17 December 2020

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

Full work available at URL: https://doi.org/10.1134/s0361768817060044

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Structural analysis: A new approach to flow analysis in optimizing compilers
• Unnamed Item

This page was built for publication: Multilevel static analysis for improving program quality