Efficient Strongly Relational Polyhedral Analysis
No abstract available.
Related papers
- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi SAS 2002
- Strongly non-circular attribute grammars and their recursive evaluation PLDI 1984
- An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection SAS 2019
- Exploiting Sparsity in Polyhedral Analysis SAS 2005
- Polyhedral Analysis Using Parametric Objectives SAS 2012
- Revisiting Polyhedral Analysis for Hybrid Systems SAS 2019
- Polyhedral Analysis for Synchronous Languages SAS 1999
- Array dataflow analysis for polyhedral X10 programs PPoPP 2013