SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 83-94

Deriving specialized program analyses for certifying component-client conformance

(5) Ramalingam, G a Warshavsky, Alex a Field, John a Goyal, Deepak a Sagiv, Mooly a

a IBM T J WATSON RESEARCH CENTER (United States)

Author keywords

Abstract interpretation; Model checking; Predicate abstraction; Software components; Static analysis

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; JAVA PROGRAMMING LANGUAGE; LOGIC DESIGN; POLYNOMIALS;

FIRST-ORDER-SAFETY (FOS) SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 0036037941 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/543552.512540 Document Type: Conference Paper

Times cited : (45)

References (40)

1
- 0034818448
- Automatic predicate abstraction of C programs
- June
- (2001) Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation , pp. 203-213
- Ball, T.¹ Majumdar, R.² Millstein, T.³ Rajamani, S.⁴

2
- 84894630000
- Automatically validating temporal safety properties of interfaces
- SPIN 2001: SPIN Workshop
- (2001) LNCS , vol.2057 , pp. 103-122
- Ball, T.¹ Rajamani, S.K.²

3
- 84987170701
- An efficient way to find the side effects of procedure calls and the aliases of variables
- New York, NY. ACM Press
- (1979) Proc. ACM Symp. on Principles of Programming Languages , pp. 29-41
- Banning, J.¹

4
- 84904324505
- Canvas project

5
- 0005284611
- Addison-Wesley
- (1999) The Java™ Class Libraries, Second Edition, Vol. 1, Supplement for the Java™ 2 Platform Standard Edition, v1.2 , vol.1 , pp. 296-325
- Chan, P.¹ Lee, R.² Kramer, D.³

6
- 0025444591
- Analysis of pointers and structures
- New York, NY. ACM Press
- (1990) Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation , pp. 296-310
- Chase, D.¹ Wegman, M.² Zadeck, F.³

7
- 84944406286
- Counterexample-guided abstraction refinement
- (2000) Proc. Computer Aided Verification , pp. 154-169
- Clarke, E.M.¹ Grumberg, O.² Jha, S.³ Lu, Y.⁴ Veith, H.⁵

8
- 84956697244
- Interprocedural side-effect analysis in linear time
- New York, NY. ACM Press
- (1988) Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation , pp. 57-66
- Cooper, K.D.¹ Kennedy, K.²

9
- 0033697422
- Bandera: Extracting finite-state models from Java source code
- June
- (2000) Proc. 22nd Intl. Conf. on Software Engineering , pp. 439-448
- Corbett, J.¹ Dwyer, M.² Hatcliff, J.³ Pasareanu, C.⁴ Robby⁵ Lanbach, S.⁶ Zheng, H.⁷

10
- 0018294932
- Systematic design of program analysis frameworks
- New York, NY. ACM Press
- (1979) Proc. ACM Symp. on Principles of Programming Languages , pp. 269-282
- Cousot, P.¹ Cousot, R.²

11
- 0001859449
- Semantic foundations of program analysis
- S. Muchnick and N. Jones, editors, chapter 10 Prentice-Hall, Englewood Cliffs, NJ
- (1981) Program Flow Analysis: Theory and Applications , pp. 303-342
- Cousot, P.¹

12
- 0003134151
- Optimization of object-oriented programs using static class hierarchy analysis
- Technical Report TR 94-12-01, Washington University
- (1994) ECOOP'95 conference proceedings
- Dean, J.¹ Grove, D.² Chambers, C.³

13
- 18844408101
- Enforcing high-level protocols in low-level software
- June
- (2001) Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation , pp. 59-69
- Deline, R.¹ Fähndrich, M.²

14
- 0005358547
- Prentice-Hall
- (1976) A Discipline of programing
- Dijkstra, E.W.¹

15
- 0001179201
- Technical Report 2000-003, Compaq Systems Research Center
- (2000) Houdini, an annotation assistant for ESC/Java
- Flanagan, C.¹ Leino, K.R.M.²

16
- 0004189634
- Addison-Wesley, Reading, MA
- (1995) Design Patterns
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

17
- 0000651947
- Making abstract interpretations complete
- Mar.
- (2000) J. ACM , vol.47 , Issue.2 , pp. 361-416
- Giacobazzi, R.¹ Ranzato, F.² Scozzari, F.³

18
- 84947441305
- Construction of abstract state graphs with PVS
- Haifa, Israel, June
- (1997) In Proceedings of the 9th Conference on Computer-Aided Verification (CAV'97) , pp. 72-83
- Graf, S.¹ Saidi, H.²

19
- 26444570394
- Lightweight analysis of object interactions
- Sendai, Japan, October
- (2001) Proc. Intl. Symp. on TheoreticaI Aspects of Computer Software
- Jackson, D.¹ Fekete, A.²

20
- 0034593036
- Finding bugs with a constraint solver
- Portland, OR, August
- (2000) Proc. Intl. Symp. on Software Testing and Analysis
- Jackson, D.¹ Vaziri, M.²

21
- 85051014774
- A flexible approach to interprocedural data flow analysis and programs with recursive data structures
- New York, NY. ACM Press
- (1982) Proc. ACM Symp. on Principles of Programming Languages , pp. 66-74
- Jones, N.¹ Muchnick, S.²

22
- 0005284431
- Kaffe
- (2001)

23
- 85021863308
- Pointer-induced aliasing: A problem classification
- New York, NY. ACM Press
- (1991) Proc. ACM Symp. on Principles of Programming Languages , pp. 93-103
- Landi, W.¹ Ryder, B.G.²

24
- 34547346239
- The Java Modeling language (JML)
- Leavens, G.T.¹

25
- 0004111037
- Technical Note 2000-002, Compaq Systems Research Center, October
- (2000) ESC/Java user's manual
- Leino, K.R.M.¹ Nelson, G.² Saxe, J.B.³

26
- 84906086021
- TVLA: A framework for Kleene based static analysis
- J. Palsberg, editor, Proc. Static Analysis Symp., Springer-Verlag
- (2000) Lecture Notes in Computer Science , vol.1824 , pp. 280-301
- Lev-Ami, T.¹ Sagiv, M.²

27
- 0033717006
- On the complexity of flow-sensitive dataflow analyses
- New York, NY, ACM Press
- (2000) Proc. ACM Symp. on Principles of Programming Languages , pp. 67-80
- Muth, R.¹ Debray, S.²

28
- 0003818126
- Springer-Verlag
- (2001) Principles of Program Analysis
- Nielson, F.¹ Nielson, H.R.² Hankin, C.³

29
- 26144435493
- Technical Report RC22145, IBM T.J. Watson Research Center
- (2001) Deriving specialized heap analyses for verifying component-client conformance
- Ramalingam, G.¹ Warshavsky, A.² Field, J.³ Sagiv, M.⁴

30
- 0029180939
- Precise interprocedural dataflow analysis via graph reachability
- (1995) Proc. ACM Symp. on Principles of Programming Languages , pp. 49-61
- Reps, T.¹ Horwitz, S.² Sagiv, M.³

31
- 84958978460
- Interprocedural shape analysis for recursive programs
- R. Wilhelm, editor, Proc. Intl. Conf. on Compiler Construction, Springer-Verlag
- (2001) LNCS , vol.2027 , pp. 133-149
- Rinetskey, N.¹ Sagiv, M.²

32
- 4243585022
- Master's thesis, Technion-Israel Institute of Technology, Haifa, Israel, Dec.
- (2000) Interprocedural shape analysis
- Rinetzky, N.¹

33
- 0031598986
- Solving shape-analysis problems in languages with destructive updating
- Jan.
- (1998) ACM Trans. Prog. Lang. Syst. , vol.20 , Issue.1 , pp. 1-50
- Sagiv, M.¹ Reps, T.² Wilhelm, R.³

34
- 0032684782
- Parametric shape analysis via 3-valued logic
- (1999) Proc. ACM Symp. on Principles of Programming Languages , pp. 105-118
- Sagiv, M.¹ Reps, T.² Wilhelm, R.³

35
- 84906076909
- Model checking guided abstraction and analysis
- J. Palsberg, editor, Proc. Static Analysis Symp., Springer-Verlag
- (2000) Lecture Notes in Computer Science , vol.1824 , pp. 377-389
- Saïdi, H.¹

36
- 84956985758
- Optimizing Java bytecode using the Soot framework: Is it feasible?
- Mar.
- (2000) Proc. Intl. Conf. on Compiler Construction , pp. 18-34
- Vallée-Rai, R.¹ Gagnon, E.² Hendren, L.³ Lam, P.⁴ Pominville, P.⁵ Sundaresan, V.⁶

37
- 0005237803
- PhD thesis, Univ. of Calif., Berkeley, CA
- (1994) Analysis of Recursive Types in an Imperative Language
- Wang, E.Y.-B.¹

38
- 0005346094
- (2001)
- Warshavsky, A.¹

39
- 0003816438
- Addison-Wesley, second edition
- (2001) Data Structures and Problem Solving Using Java
- Weiss, M.A.¹

40
- 17644419687
- Verifying safety properties of concurrent Java programs using 3-valued logic
- (2001) Proc. ACM Symp. on Principles of Programming Languages , pp. 27-40
- Yahav, E.¹

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