Multilevel static analysis for improving program quality

DOI10.1134/S0361768817060044MaRDI QIDQ2216856zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Static checker of semantic run-time errors
• scientific article; zbMATH DE number 1617328
• scientific article; zbMATH DE number 1863891
• Programming Languages and Systems
• scientific article; zbMATH DE number 2087567

Cites work

• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• Structural analysis: A new approach to flow analysis in optimizing compilers

Cited in

(2)

• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• Source code analysis with a temporal extension of first-order logic

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

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