Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise

Authors:
Vadim Maslov;William Pugh
Affiliations:
-;-
Venue:
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Year:
1994

Citing 0
Cited 4

Constraint-based array dependence analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization

Programming and Computing Software
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Eliminating redundant range checks in GNAT using symbolic evaluation

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract