ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
On the adequacy of program dependence graphs for representing programs
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88
◽
10.1145/73560.73573
◽
1988
◽
Cited By ~ 50
Author(s):
S. Horwitz
◽
J. Prins
◽
T. Reps
Keyword(s):
Dependence Graphs
◽
Program Dependence
Download Full-text
The use of program dependence graphs in software engineering
Proceedings of the 14th international conference on Software engineering - ICSE '92
◽
10.1145/143062.143156
◽
1992
◽
Cited By ~ 60
Author(s):
Susan Horwitz
◽
Thomas Reps
Keyword(s):
Software Engineering
◽
Dependence Graphs
◽
Program Dependence
Download Full-text
Incremental program testing using program dependence graphs
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93
◽
10.1145/158511.158694
◽
1993
◽
Cited By ~ 106
Author(s):
Samuel Bates
◽
Susan Horwitz
Keyword(s):
Program Testing
◽
Dependence Graphs
◽
Program Dependence
Download Full-text
Author Identification of Software Source Code with Program Dependence Graphs
2010 IEEE 34th Annual Computer Software and Applications Conference Workshops
◽
10.1109/compsacw.2010.56
◽
2010
◽
Cited By ~ 5
Author(s):
Rong Chen
◽
Lina Hong
◽
Chunyan Lu
◽
Wu Deng
Keyword(s):
Source Code
◽
Author Identification
◽
Dependence Graphs
◽
Program Dependence
Download Full-text
Towards a framework for generating program dependence graphs from source code
Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics - SWAN 2018
◽
10.1145/3278142.3278144
◽
2018
◽
Cited By ~ 2
Author(s):
Victor J. Marin
◽
Carlos R. Rivero
Keyword(s):
Source Code
◽
Dependence Graphs
◽
Program Dependence
Download Full-text
Efficient construction of program dependence graphs
ACM SIGSOFT Software Engineering Notes
◽
10.1145/174146.154268
◽
1993
◽
Vol 18
(3)
◽
pp. 160-170
◽
Cited By ~ 5
Author(s):
Mary Jean Harrold
◽
Brian Malloy
◽
Gregg Rothermel
Keyword(s):
Dependence Graphs
◽
Efficient Construction
◽
Program Dependence
Download Full-text
Identifying similar code with program dependence graphs
Proceedings Eighth Working Conference on Reverse Engineering
◽
10.1109/wcre.2001.957835
◽
2002
◽
Cited By ~ 210
Author(s):
J. Krinke
Keyword(s):
Dependence Graphs
◽
Similar Code
◽
Program Dependence
Download Full-text
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model
Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627)
◽
10.1109/codes.2002.1003594
◽
2003
◽
Cited By ~ 1
Author(s):
F. Balarin
◽
L. Lavagno
◽
C. Passerone
◽
A. Sangiovanni-Vincentelli
◽
Y. Watanabe
◽
...
Keyword(s):
Sequential Simulation
◽
Meta Model
◽
Concurrent Execution
◽
Simulation Algorithms
◽
Execution Semantics
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close