Automatic Generation Of Data-Flow Analyzers: A Tool For Building Optimizers (1993)

Cached

Download Links

by Steven Weng-kiang Tjiang , Daniel Weise , Mike Smith , Bob Wilson
Citations:8 - 0 self

Documents Related by Co-Citation

4 P.; Hsieh H.; Jurecska A.; Lavagno L.; Passerone C.; Sangiovanni-Vincentelli A – F Balarin, M Chiodo, Giusto - 1997
6 Software synthesis for dynamic data flow graph – C Choi, S Ha - 1997
52 Hardware–software codesign of embedded systems – M Chiodo, P Giusto, A Jurecska, H C Hsieh, A SangiovanniVincentelli, L Lavagno, M Marelli - 1994
49 Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator – Silvina Hanono, Srinivas Devadas - 1998
30 Joint minimization of code and data for synchronous dataflow programs – Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee - 1997
30 Incremental Hardware Estimation during Hardware/Software Functional Partitioning – Frank Vahid, Daniel D. Gajski - 1995
9 Exploiting RecursionParallelism – J Bevemyr, T Lindgren - 1993
8 The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors – Thomas Lindgren - 1993
3 Garc'ia de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains – M Codish, A Mulkers, M Bruynooghe, M - 1991
6 Abstract interpretation for the compile-time optimization of logic programs – T W Getzinger - 1993
9 Conceptual and software support for abstract domain design: Generic structural domain and open product – A Cortesi, B Le Charlier, P Van Hentenryck - 1993
19 Automatic Generation and Management of Interprocedural Program Analyses – Kwangkeun Yi, Williams Ludwell Harrison, III, Harrison Iii - 1993
3 Igor: A tool for developing abstract domains for Prolog Analyzers – Magnus Nordin - 1995
35 On the Complexity of Dataflow Analysis of Logic Programs – Saumya K. Debray - 1992
16 A framework for construction and evaluation of high-level specifications for program analysis techniques – G A Venkatesh - 1989
12 QD-Janus: a Sequential Implementation of Janus – S Debray - 1993
57 Accurate and efficient approximation of variable aliasing – D Jacobs, A Langen - 1989
15 An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs – Renganathan Sundararajan, John S. Conery - 1992
43 Boolean functions for dependency analysis: Algebraic properties and efficient representation – T Armstrong, K Marriott, P Schachte, H Søndergaard - 1994