SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

The Journal of Systems and Software

Volumn 16, Issue 3, 1991, Pages 197-203

Slice, chunk and dataflow anomaly as DATALOG rules

(1) Hsieh, C Samuel a

a VANDERBILT UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS--QUERY LANGUAGES;

DATA MODELS; DATALOG;

COMPUTER PROGRAMMING;

EID: 0026256568 PISSN: 01641212 EISSN: None Source Type: Journal
DOI: 10.1016/0164-1212(91)90014-W Document Type: Article

Times cited : (3)

References (19)

1
- 0003469339
- Computer Science Press, Rockville, Maryland
- (1989) Database and Knowledge-Base Systems
- Ullman¹

2
- 0024011532
- MicroScope: A Knowledge-Based Programming Environment
- (1988) IEEE Software , vol.5 , pp. 50-58
- Ambras¹ O'Day²

3
- 0024663916
- SRE: A Knowledge-Based Environment for Large-Scale Software Re-engineering Activities
- Pittsburgh, PA
- (1989) Proceedings of the 11th International Conference on Software Engineering , pp. 113-122
- Kozaczynski¹ Ning²

4
- 0022863296
- A Knowledge-Based Software Maintenance Environment
- (1986) IEEE COMPSAC , vol.86 , pp. 72-78
- Yau¹ Liu²

5
- 0016996537
- Data Flow Analysis in Software Reliability
- (1976) ACM Computing Surveys , vol.8 , pp. 306-330
- Fosdick¹ Osterweil²

6
- 0021457061
- Program Slicing
- (1984) IEEE TOSE , vol.10 SE , pp. 352-356
- Weiser¹

7
- 0023385308
- The Program Dependence Graph and its Use in Optimization
- (1987) ACM TOPLAS , vol.9 , pp. 319-349
- Ferrante¹ Ottenstein² Warren³

8
- 0023104276
- The Program Dependence Graph in Static Testing
- (1987) Information Processing Letters , vol.24 , pp. 103-138
- Korel¹

9
- 0024946855
- The Implications of Program Dependences for Software Testing Debugging and Maintenance
- Key West, Florida
- (1989) Proceedings of the ACM SIGSOFT '89 3rd Symposium on Software Testing, Analysis, and Verification (TAV3) , pp. 168-178
- Podgurski¹ Clarke²

10
- 0025228221
- Interprocedural Slicing Using Dependence Graphs
- (1990) ACM TOPLAS , vol.12 , pp. 26-60
- Horwitz¹ Reps² Binkley³

11
- 0004947446
- Finding Dominators in Directed Graphs
- (1974) SIAM Journal on Computing , vol.3 , pp. 62-89
- Tarjan¹

12
- 0004072686
- Addison-Wesley, Reading, Massachusetts
- (1986) Compilers Principles, Techniques, and Tools
- Aho¹ Sethi² Ullman³

13
- 0024701519
- Dependence Analysis for Pointer Variables
- (1989) SIGPLAN '89 Conference on Programming Language Design and Implementation , pp. 28-40
- Horwitz¹ Pfeifer² Reps³

14
- 84956697244
- Interprocedural Side-Effect Analysis in Linear Time
- (1988) SIGPLAN '88 Conference on Programming Language Design and Implementation , pp. 57-66
- Cooper¹ Kennedy²

15
- 85027599451
- Design Overview of the NAIL! System
- (1986) Proceedings of the Third International Conference on Logic Programming , pp. 554-568
- Morris¹ Ullman² Van Gelder³

16
- 70350561572
- An Overview of the LDL System
- (1987) Data Engineering , vol.10 , pp. 52-62
- Chimenti¹ O'Hare² Krishnamurthy³ Naqvi⁴ Tsur⁵ West⁶ Zaniola⁷

17
- 84976669693
- The design of Postgres
- (1986) ACM SIGMOD Record , pp. 340-355
- Stonebraker¹ Rowe²

18
- 0018280914
- Ripple Effect Analysis of Software Maintenance
- (1978) IEEE COMPSAC , vol.78 , pp. 60-65
- Yau¹ Collofello² MacGregor³

19
- 0024700474
- Integrating Noninterfering Versions of Programs
- (1989) ACM TOPLAS , vol.11 , pp. 345-387
- Horwitz¹ Prins² Reps³

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