scientific article; zbMATH DE number 3557197
From MaRDI portal
Publication:4133096
zbMATH Open0357.68017MaRDI QIDQ4133096FDOQ4133096
Authors: Ken Kennedy
Publication date: 1975
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68W99)
Cited In (6)
- Slicing communicating automata specifications: Polynomial algorithms for model reduction
- A strong-connectivity algorithm and its applications in data flow analysis
- Pathlistings applied to data flow analysis
- Lower bounds on the lengths of node sequences in directed graphs
- Syntactic and semantic soundness of structural dataflow analysis
- Node listings for reducible flow graphs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133096)