MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Semantics of Program Dependence." – sorted by Relevance.

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

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

9 documents found, showing 1 through 9.

ATOM

The Semantics of Program Dependence
by Robert Cartwright, Matthias Felleisen — 1989 — Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation
…The Semantics of Program Dependence Robert Cartwright, Matthias Felleisen Department…
Cited by 57 (0 self) – Add To MetaCart

Semantics of Program Representation Graphs
by G. Ramalingam, Thomas Reps — 1989
… dependence graphs that is consistent with the program semantics. In contrast to the indirect proof…
Cited by 10 (1 self) – Add To MetaCart

An Operational Semantics for JavaScript
by Sergio Maffeis, John C. Mitchell, Ankur Taly
… are recursive, and mutually dependent. The semantics of programs depends on the semantics of statements which…
Cited by 1 (0 self) – Add To MetaCart

Non-Standard Semantics for Program Slicing
by Roberto Giacobazzi, Isabella Mastroeni — 2003 — Special issue on Partial Evalution and Semantics-Based Program Manipulation
…, 1989) a denotational semantics of program dependence graphs is introduced. These works provide a…
Cited by 5 (1 self) – Add To MetaCart

Synthesizing transformations for locality enhancement of imperfectly-nested loop nests
by Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali — 2000 — In Proceedings of the 2000 ACM International Conference on Supercomputing
… to another execution � �� order if the latter preserves the semantics of the program. Dependence…
Cited by 39 (3 self) – Add To MetaCart

Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
by David Binkley — 1994 — In International Conference on Compiler Construction
… of the SDG. This idea is a modification of the graph rewriting semantics for program dependence graphs given…
Cited by 16 (2 self) – Add To MetaCart

Cache Behavior Prediction by Abstract Interpretation
by Martin Alt, Christian Ferdin, Florian Martin, Reinhard Wilhelm — 1996 — Science of Computer Programming
… of the concrete semantics of the programs, depends on the type of cache regarded and the cache replacement…
Cited by 51 (11 self) – Add To MetaCart

Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests
by Nawaaz Ahmed Nikolay, Nikolay Mateev, Keshav Pingali — 2000 — In Proceedings of the 2000 ACM International Conference on Supercomputing
…; F) if the latter preserves the semantics of the program. Dependence analysis states that semantics…
Add To MetaCart

Compositionality in the Puzzle of Semantics
by Roberto Giacobazzi, Isabella Mastroeni — 2002 — In: Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02
…, is concerned, in [1, 3, 26, 29] we can find several approaches to lazy semantics for program dependence graphs…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 9.

ATOM

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