scientific article; zbMATH DE number 3551830
From MaRDI portal
Publication:4125700
zbMath0354.68003MaRDI QIDQ4125700
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Extremal problems in graph theory (05C35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Directed graphs (digraphs), tournaments (05C20) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
Pathlistings applied to data flow analysis, Semantic and syntactic issues in programming, Semantic decomposition of computer programs: An aid to program testing, An \(O(n)\) algorithm for computing the set of available expressions of D-charts, Testing flow graph reducibility, Function iteration logics and flowchart schemata, Node listings for reducible flow graphs, Profitability computations on program flow graphs, Monotone data flow analysis frameworks, A composite algorithm for strength reduction and code movement optimization, The method of attributes for data flow analysis. I: Exhaustive analysis, Bibliography on the evaluation of numerical software, A portable lisp compiler, A composite hoisting-strength reduction transformation for global program optimization part I, A composite hoisting-strength reduction transformation for global program optimization part ii, A region analysis algorithm for the live variables problem