MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Property-Oriented Expansion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Expansion-based Removal of Semantic Partial Redundancies
by Jens Knoop, Oliver Rüthing, Bernhard Steffen — 1999 — In Proceedings of the 8th International Conference on Compiler Construction (CC’99) (Amsterdam, The Netherlands), Lecture Notes in Computer Science
…. Hence, the algorithm works by means of property-oriented expansion in the sense of [17]. x := a+b a) y…
Cited by 4 (0 self) – Add To MetaCart

Constraint-Based Inter-Procedural Analysis of Parallel Programs
by Helmut Seidl, Bernhard Steffen, Fb Iv Informatik — 2000
…. The central problem with property-oriented expansion is its potential of code-size explosion, which, e…
Cited by 17 (5 self) – Add To MetaCart

Complete Removal of Redundant Expressions
by Rastislav Bod'ik, Rajiv Gupta, Mary Lou Soffa — 1998
… the program all redundant computations, including conditional branches [31]. While his property-oriented…
Cited by 57 (11 self) – Add To MetaCart

Analysis of Loops
by Florian Martin Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand — 1998 — In Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science
…] a property oriented expansion of a program model was developed. This aims toward similar goals…
Cited by 13 (8 self) – Add To MetaCart

Model Generation by Moderated Regular Extrapolation
by Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen — 2002
… by distinguishing locally similar states, which can elegantly and systematically be done following the property-oriented…
Cited by 12 (4 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB