Flußanalyse
From MaRDI portal
Publication:1052088
zbMath0515.68030MaRDI QIDQ1052088
Publication date: 1983
Published in: Informatik Spektrum (Search for Journal in Brave)
optimizationinterval analysisiterative algorithmscompilerscontrol flowflow analysisautomatic analysis of algorithms
Theory of compilers and interpreters (68N20) Theory of operating systems (68N25) Algorithms in computer science (68W99)
This page was built for publication: Flußanalyse