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

메뉴 건너뛰기

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 2001, Pages 647-656

On optimal slicing of parallel programs

(2) Müller Olm, Markus a Seidl, Helmut b

a TU DORTMUND UNIVERSITY (Germany)

b UNIVERSITY OF TRIER (Germany)

Author keywords

Complexity; Interprocedural analysis; Parallel programs; Slicing; Undecidability

Indexed keywords

ALGORITHMS; DATA FLOW ANALYSIS; MULTITASKING; PARALLEL PROCESSING SYSTEMS; SEMANTICS;

MULTI-THREADED PROGRAMS; OPTIMAL SLICING;

COMPUTER PROGRAMMING;

EID: 0034819434 PISSN: 07349025 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/380752.380864 Document Type: Conference Paper

Times cited : (25)

References (28)

1
- 0003452973
- Springer
- (1997) Verification of Sequential and Concurrent Programs
- Apt, K.-R.¹ Olderog, E.-R.²

2
- 0003336042
- Constrained properties, semilinear systems, and Petri nets
- LNCS 1119. Springer
- (1996) Concur'96
- Bouajjani, A.¹ Habermehl, P.²

3
- 84988034580
- Slicing concurrent programs - A graph-theoretical approach
- LNCS 749, Springer
- (1993) Proc. 1st International Workshop on Automated and Algorithmic Debugging , pp. 223-240
- Cheng, J.¹

4
- 0003582934
- Program slicing for VHDL
- Bad Herrenalb, Germany, September
- (1999) Charme'99
- Clarke, E.M.¹ Fujita, M.² Rajah, S.P.³ Reps, T.⁴ Shankar, S.⁵ Teitelbaum, T.⁶

5
- 33745656232
- An automata-theoretic approach to interprocedural data-flow analysis
- LNCS 1578, Springer
- (1999) FOSSACS '99 , pp. 14-30
- Esparza, J.¹ Knoop, J.²

6
- 0033698872
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
- (2000) ACM POPL 2000 , pp. 1-11
- Esparza, J.¹ Podelski, A.²

7
- 0003853538
- Benjamin/Cummings Publishing Co., Inc., Menlo Park, CA
- (1988) Crafting a Compiler
- Fischer, C.¹ LeBlanc, R.²

8
- 0004044035
- Addison-Wesley
- (1992) Program Verification
- Francez, N.¹

9
- 0009852093
- Invariance of approximative semantics with respect to program transformations
- Informatik-Fachberichte, Springer
- (1981) GI 11. Jahrestagung , vol.50 , pp. 1-10
- Giegerich, R.¹ Möncke, U.² Wilhelm, R.³

10
- 84957679700
- A formal study of slicing for multi-threaded programs with JVM concurrency primitives
- LNCS 1694, Springer
- (1999) SAS'99 , pp. 1-18
- Hatcliff, J.¹ Corbett, J.² Dwyer, M.³ Sokolowski, S.⁴ Zheng, H.⁵

11
- 0025228221
- Interprocedural slicing using dependence graphs
- (1990) ACM TOPLAS , vol.12 , Issue.1 , pp. 26-61
- Horwitz, S.¹ Reps, T.² Binkley, D.³

12
- 0003661501
- Technical Report TR-1283, Computer Sciences Department, University of Wisconsin, Madison, WI
- (1995) Demand interprocedural dataflow analysis
- Horwitz, S.¹ Reps, T.² Sagiv, M.³

13
- 0003661503
- Program slicing on VHDL descriptions and its applications
- Bangalore
- (1996) Proc. 3rd APCHDL '96 , pp. 132-139
- Iwaihara, M.¹ Nomura, M.² Ichinose, S.³ Yasuura, H.⁴

14
- 84882684106
- Parallel constant propagation
- LNCS 1470, Springer
- (1998) Euro-Par'98 , pp. 445-455
- Knoop, J.¹

15
- 0030146262
- Parallelism for free: Efficient and optimal bitvector analyses for parallel programs
- (1996) ACM TOPLAS , vol.18 , Issue.3 , pp. 268-299
- Knoop, J.¹ Steffen, B.² Vollmer, J.³

16
- 85046561721
- Lower bounds for natural proof systems
- Long Beach, CA
- (1977) IEEE FOCS'77 , pp. 254-266
- Kozen, D.¹

17
- 0031617414
- Static slicing of threaded programs
- Montreal, Canada
- (1998) ACM PASTE'98 , pp. 35-42
- Krinke, J.¹

18
- 84896693034
- Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
- (2000) STTT , vol.2 , Issue.4 , pp. 343-349
- Millett, L.I.¹ Teitelbaum, T.²

19
- 0004165618
- Prentice-Hall
- (1967) Computation: Finite and Infinite Machines
- Minsky, M.¹

20
- 84957102708
- The complexity of copy constant detection in parallel programs
- LNCS 2010, Springer
- (2001) STACS 2001 , pp. 490-501
- Müller-Olm, M.¹

21
- 84976707537
- The program dependence graph in a software development environment
- (1984) ACM Software Engineering Symposium on Practical Software Development Environments , pp. 177-184
- Ottenstein, K.J.¹ Ottenstein, L.M.²

22
- 0017173886
- An axiomatic proof technique for parallel programs
- (1976) Acta Informatica , vol.6 , pp. 319-340
- Owicki, S.¹ Gries, D.²

23
- 0000422707
- Context-sensitive synchronization-sensitive analysis is undecidable
- (2000) ACM TOPLAS , vol.22 , Issue.2 , pp. 416-430
- Ramalingam, G.¹

24
- 84947290808
- Constraint-based inter-procedural analysis of parallel programs
- LNCS 1782, Springer
- (2000) ESOP'2000 , pp. 351-365
- Seidl, H.¹ Steffen, B.²

25
- 0020736536
- Complexity of analyzing the synchronization structure of concurrent programs
- (1983) Acta Informatica , vol.19 , pp. 57-84
- Taylor, R.N.¹

26
- 0000990322
- A survey of program slicing techniques
- (1995) Journal of Programming Languages , vol.3 , Issue.3 , pp. 121-189
- Tip, F.¹

27
- 0021457061
- Program slicing
- (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.4 , pp. 352-357
- Weiser, M.¹

28
- 84944332982
- Slicing concurrent Java programs
- Pittsburgh, PA, USA, May
- (1999) 7th IEEE International Workshop on Program Comprehension , pp. 126-133
- Zhao, J.¹

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