SCOPUS 정보 검색 플랫폼

Systems and Computers in Japan

Volumn 25, Issue 10, 1994, Pages 1-14

Detection of unfeasible paths with a path‐dependence flow graph

(2) Naoi, Kuniaki a Takahashi, Naohisa a

a NTT CORPORATION (Japan)

Author keywords

abstract interpretation; Computation path; data flow computation model; program analysis; symbolic execution

Indexed keywords

CODES (SYMBOLS); COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; GRAPH THEORY; LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS; SUBROUTINES;

COMPUTATION PATHS; DIRECTED GRAPH; PATH DEPENDENCE FLOW GRAPH; PRESBURGER SENTENCES; TEST DATA GENERATION; UNFEASIBLE PATHS;

CRITICAL PATH ANALYSIS;

EID: 0028515484 PISSN: 08821666 EISSN: 1520684X Source Type: Journal
DOI: 10.1002/scj.4690251001 Document Type: Article

Times cited : (1)

References (19)

1
- 0016971687
- Symbolic execution and Program testing
- July
- (1976) Commun. ACM , vol.19 , Issue.7 , pp. 385-394
- King, J.C.¹

2
- 0016993577
- A system to generate test data and symbolically execute programs
- Sept
- (1976) IEEE Trans. Software Eng. , vol.2 SE , Issue.3 , pp. 215-222
- Clarke, L.A.¹

3
- 0022017909
- Applications of symbolic evaluation
- (1985) J. Syst. & Software , vol.5 , Issue.1 , pp. 15-35
- Clarke, L.A.¹ Richardson, D.J.²

4
- 84983954355
- Detecting an interference in modified programs with a semantic configuration manager, The 45th Annual Convention Information Processing Society of Japan, 6T‐1, Sept.
- (1992)
- Naoi, K.¹ Takahashi, N.²

5
- 84984058329
- Japanese Computer Association
- (1974) Theory of Program, Igarashi, S. (Trans.)
- Manna, Z.¹

6
- 84984063333
- From Control Flow to Dataflow, Proceedings of the 1990 International Conferenceon Parallel Processing, pp., Aug
- (1990) , pp. 1143-1152
- Beck, M.¹ Pingali, K.²

7
- 84984058313
- Dependence Flow Graphs: An Algebraic Approach to Program Dependencies, Proceedings of the 18th ACM Symposium on Principles of Programming Languages, pp., Jan
- (1991) , pp. 67-78
- Pingali, K.¹ Beck, M.² Johnson, R.³ Moudgill, M.⁴ Stodghill, P.⁵

8
- 0020087077
- Data flow programs graphs
- Feb
- (1982) IEEE Computer , vol.15 , Issue.2 , pp. 26-41
- Davis, A.L.¹ Keller, R.M.²

9
- 84984028053
- Abstract interpretation—its framework and examples, Functional Programming Research Group, Software Science Society, Jan.
- (1992)
- Ono, S.¹

10
- 6544282474
- Presburger Arithmetic and its applications to program developments
- Jan
- (1992) Computer Software , vol.9 , Issue.6 , pp. 31-39
- Higashino, T.¹ Kitamichi, A.² Taniguchi, K.³

11
- 0342550545
- Techniques, and Tools, Addison‐Wesley
- (1986) Compilers: Principles
- Aho, A.V.¹ Sethi, R.² Ullman, J.D.³

12
- 5844369920
- On dataflow architectures
- Apr
- (1984) Computer Software , vol.1 , Issue.1 , pp. 42-63
- Amamiya, M.¹

13
- 0022874874
- Advanced compiler optimizations for supercomputers
- Dec
- (1986) Commun. ACM , vol.29 , Issue.12 , pp. 1184-1201
- Padua, D.A.¹ Wolfe, M.J.²

14
- 84984024803
- Detection of unfeasible paths with Presburger arithmetic, Tech. Report of I.E.I.C.E., KBSE92–38, Nov.
- (1992)
- Naoi, K.¹ Takahashi, N.²

15
- 84984028056
- Partial computation with a dataflow machine
- Lecture Notes in Computer Science , vol.220
- Ono, S.¹ Takahashi, N.² Amamiya, M.³

16
- 84983997034
- Springer‐Verlag
- (1985) RIMS Symposia on Software Science and Engineering II , pp. 87-113

17
- 84984024789
- Generalized Algorithmic Debugging, PhD Thesis, Linköping University
- (1991)
- Shahmehri, N.¹

18
- 84983614059
- Ishida, H., (Trans.), Kyoritsu Publishing
- (1981) The C Programming Language
- Kernighan, B.W.¹ Ritchie, D.M.²

19
- 84983976499
- An automatic derivation of test cases for LOTOS expressions with data parameters
- Nov
- (1992) Trans. I.E.I.C. E. (B‐I) , vol.J75–B–1 , Issue.11 , pp. 734-743
- Liy, X.D.¹ Higashino, T.² Taniguchi, K.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.