Interprocedural slicing using dependence graphs

S. Horwitz; T. Reps; D. Binkley

doi:10.1145/960116.53994

Interprocedural slicing using dependence graphs

ACM SIGPLAN Notices ◽

10.1145/960116.53994 ◽

1988 ◽

Vol 23 (7) ◽

pp. 35-46 ◽

Cited By ~ 47

Author(s):

S. Horwitz ◽

T. Reps ◽

D. Binkley

Keyword(s):

Dependence Graphs

Download Full-text

Kinetic Dependence Graphs

ACM SIGPLAN Notices ◽

10.1145/2775054.2694363 ◽

2015 ◽

Vol 50 (4) ◽

pp. 457-471

Author(s):

Muhammad Amber Hassaan ◽

Donald D. Nguyen ◽

Keshav K. Pingali

Keyword(s):

Kinetic Dependence ◽

Dependence Graphs

Download Full-text

Dependence Graphs Based on Association Rules to Explore Delusional Experiences

Multivariate Behavioral Research ◽

10.1080/00273171.2020.1870912 ◽

2021 ◽

pp. 1-29

Author(s):

Andrés Martínez ◽

Manuel J. Cuesta ◽

Victor Peralta

Keyword(s):

Association Rules ◽

Dependence Graphs

Download Full-text

Architecture-dependent partitioning of dependence graphs

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - PDP '98 - ◽

10.1109/empdp.1998.647182 ◽

2002 ◽

Author(s):

M. Beck ◽

E. Zehendner ◽

T. Ungerer

Keyword(s):

Dependence Graphs

Download Full-text

Node merging: A transformation on bit-level dependence graphs for efficient VLSI array design

Proceedings of International Conference on Application Specific Array Processors (ASAP '93) ◽

10.1109/asap.1993.397165 ◽

2002 ◽

Author(s):

B. Jung ◽

W. Burleson

Keyword(s):

Array Design ◽

Dependence Graphs ◽

Vlsi Array

Download Full-text

The use of data dependence graphs in the design of bit-level systolic arrays

IEEE Transactions on Acoustics Speech and Signal Processing ◽

10.1109/29.56023 ◽

1990 ◽

Vol 38 (5) ◽

pp. 787-793 ◽

Cited By ~ 29

Author(s):

J.V. McCanny ◽

J.G. McWhirter ◽

S.-Y. Kung

Keyword(s):

Data Dependence ◽

Systolic Arrays ◽

Use Of Data ◽

Dependence Graphs

Download Full-text

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92994-1_5 ◽

2018 ◽

pp. 83-102 ◽

Cited By ~ 3

Author(s):

Mihai Herda ◽

Shmuel Tyszberowicz ◽

Bernhard Beckert

Keyword(s):

Information Flow ◽

Flow Properties ◽

Dependence Graphs

Download Full-text

An Operational Semantics of Program Dependence Graphs for Unstructured Programs

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_22 ◽

2007 ◽

pp. 264-271

Author(s):

Souhei Ito ◽

Shigeki Hagihara ◽

Naoki Yonezaki

Keyword(s):

Operational Semantics ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

A concurrent execution semantics for Parallel Program Graphs and Program Dependence Graphs

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57502-2_37 ◽

1993 ◽

pp. 16-30 ◽

Cited By ~ 3

Author(s):

V. Sarkar

Keyword(s):

Parallel Program ◽

Concurrent Execution ◽

Dependence Graphs ◽

Execution Semantics ◽

Program Dependence

Download Full-text

Automatic test data generation using genetic algorithm and program dependence graphs

Information and Software Technology ◽

10.1016/j.infsof.2005.06.006 ◽

2006 ◽

Vol 48 (7) ◽

pp. 586-605 ◽

Cited By ~ 48

Author(s):

James Miller ◽

Marek Reformat ◽

Howard Zhang

Keyword(s):

Genetic Algorithm ◽

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Dependence Graphs ◽

Automatic Test Data Generation ◽

Program Dependence

Download Full-text

A Practical Approach to Tiling Zuker’s RNA Folding Using the Transitive Closure of Loop Dependence Graphs

Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-67229-8_18 ◽

2017 ◽

pp. 200-209 ◽

Cited By ~ 1

Author(s):

Marek Palkowski ◽

Wlodzimierz Bielecki

Keyword(s):

Rna Folding ◽

Transitive Closure ◽

Practical Approach ◽

Dependence Graphs

Download Full-text