Program reduction allowing for additional specifications

DOI10.1007/BF01130538zbMath0841.68071MaRDI QIDQ1910970

S. L. Krivoj, A. B. Godlevskij

Publication date: 20 May 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

optimization method for programs with procedures

Mathematics Subject Classification ID

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

Cites Work

• Monotone data flow analysis frameworks
• A Simple Algorithm for Global Data Flow Analysis Problems
• Unnamed Item

This page was built for publication: Program reduction allowing for additional specifications