Analysis of program structure

DOI10.1007/BF01099362zbMath0464.68014MaRDI QIDQ3916000

V. N. Kas'yanov

Publication date: 1980

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

control graphcontrol flow in programs

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Simple Algorithm for Global Data Flow Analysis Problems
• Some Topics in Code Optimization
• Analysis of Graphs by Ordering of Nodes
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Analysis of program structure