An approach to analyzing the properties of programs

MaRDI QIDQ1103383zbMATH OpenFDO

Authors L. V. Chernobrod, Viktor K. Sabelfeld

Publication date 1987

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

zbMATH Keywords

conditional term rewritingglobal program analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program analysis tools
• Term Rewriting with Logical Constraints
• scientific article; zbMATH DE number 1534584
• scientific article; zbMATH DE number 1324833
• Base-type languages: Program design by upper semantic approximation

Cited in

(10)

• Program analysis tools
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1953022 (Why is no real title available?)
• scientific article; zbMATH DE number 1203405 (Why is no real title available?)
• The Qualified Function Approach to Analysis of Program Behavior and Performance
• Improving program analyses, by structure untupling
• Base-type languages: Program design by upper semantic approximation
• Reducing Behavioural to Structural Properties of Programs with Procedures
• scientific article; zbMATH DE number 1534584 (Why is no real title available?)
• Continuity analysis of programs

This page was built for publication: An approach to analyzing the properties of programs

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