Searching for "Equivalence and optimization of programs." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Magic Sets and their Application to Data Integration
- …). MS ¬ always ensures the full query equivalence of the optimized program w.r.t. the original one…
- Cited by 13 (2 self) – Add To MetaCart
-
Optimization of Straight–Line Code Revisited
- … result of the program. 1 The optimality is given w.r.t. strong equivalence, see Sec. 2…
- Add To MetaCart
-
Path-based Compilation
- … equivalently, by optimizing programs). Optimization is perhaps a misnomer here for two reasons. First…
- Cited by 21 (2 self) – Add To MetaCart
-
Thirteen puzzles in programming logic
- … the fact that a satisfactory theory of datatype coercions, containments, and equivalences in programming…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Detection of Implicit and Redundant Numeric Constraints in CLP Programs
- …, while allowing a stronger result for the equivalence of the optimized program with respect…
- Cited by 6 (5 self) – Add To MetaCart
-
Formal Synthesis at the Algorithmic Level
- … design exploration techniques, the program is first transformed into an equivalent but optimized program…
- Cited by 2 (2 self) – Add To MetaCart
-
Implementation of an Efficient Algorithm for the Multiclass Traffic Assignment Problem
- … optimization program is then: min x2\Omega multi f(x) = Z X 0 C(u) du + hG; Z 1 0 x(ff)=ff dffi: (11…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 7.
