An approach to analyzing the properties of programs

zbMATH Open0645.68019MaRDI QIDQ1103383FDOQ1103383

Authors: L. V. Chernobrod, Viktor K. Sabelfeld 

Publication date: 1987

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

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

zbMATH Keywords

conditional term rewritingglobal program analysis

Mathematics Subject Classification ID

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

Cited In (10)

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