scientific article; zbMATH DE number 1975604
From MaRDI portal
Publication:4424848
Recommendations
Cited in
(7)- Dataflow analysis of array and scalar references
- Fuzzy array dataflow analysis
- A class of polynomially solvable range constraints for interval analysis without widenings
- Presburger arithmetic in memory access optimization for data-parallel languages
- scientific article; zbMATH DE number 1940300 (Why is no real title available?)
- Languages and Compilers for Parallel Computing
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
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 Q4424848)