SCOPUS 정보 검색 플랫폼

Information Processing Letters

Volumn 110, Issue 16, 2010, Pages 666-671

Refining abstract interpretations

(4) Gulavani, Bhargav S a Chakraborty, Supratik a Nori, Aditya V b Rajamani, Sriram K b

a INDIAN INSTITUTE OF TECHNOLOGY BOMBAY (India)

b MICROSOFT RESEARCH INDIA (India)

Author keywords

Abstract interpretation; CEGAR; Interpolation; Program correctness

Indexed keywords

ABSTRACT INTERPRETATION; ABSTRACT INTERPRETATION TECHNIQUES; ABSTRACT INTERPRETATIONS; ABSTRACTION REFINEMENT; FIXPOINTS; JOIN OPERATORS; PROGRAM CORRECTNESS;

ERRORS; INTERPOLATION; PROGRAM INTERPRETERS; REFINING;

ABSTRACTING;

EID: 77953649402 PISSN: 00200190 EISSN: None Source Type: Journal
DOI: 10.1016/j.ipl.2010.05.021 Document Type: Article

Times cited : (4)

References (11)

1
- 47249147877
- Widening operators for powerset domains
- Technical Report 344, University of Parma, Italy
- R. Bagnara, P. Hill, E. Zaffanella, Widening operators for powerset domains, Technical Report 344, University of Parma, Italy, 2004
- (2004)
- Bagnara, R.¹ Hill, P.² Zaffanella, E.³

2
- 0036039066
- POPL 02
- T. Ball, S.K. Rajamani, The SLAM project: debugging system software via static analysis, in: POPL 02, 2002, pp. 1-3
- (2002) The SLAM project: Debugging system software via static analysis , pp. 1-3
- Ball, T.¹ Rajamani, S.K.²

3
- 84958044521
- Automatic generation of invariants and assertions
- N. Bjørner, A. Browne, Z. Manna, Automatic generation of invariants and assertions, in: Principles and Practice of Constraint Programming (CP), 1995, pp. 589-623
- (1995) Principles and Practice of Constraint Programming (CP) , pp. 589-623
- Bjørner, N.¹ Browne, A.² Manna, Z.³

4
- 0003365139
- Bourdoncle F. Efficient Chaotic Iteration Strategies with Widenings (1993)
- (1993) Efficient Chaotic Iteration Strategies with Widenings
- Bourdoncle, F.¹

5
- 85050550846
- P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: POPL 77, 1977, pp. 238-252
- P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: POPL 77, 1977, pp. 238-252

6
- 0000978928
- W. Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, vol. 22, 1957, pp. 269-285
- (1957) Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , vol.22 , pp. 269-285
- Craig, W.¹

7
- 47249120878
- B.S. Gulavani, S. Chakraborty, A.V. Nori, S.K. Rajamani, Automatically refining abstract interpretations, in: TACAS, 2008, pp. 443-458
- B.S. Gulavani, S. Chakraborty, A.V. Nori, S.K. Rajamani, Automatically refining abstract interpretations, in: TACAS, 2008, pp. 443-458

8
- 33745794069
- TACAS 06
- B.S. Gulavani, S.K. Rajamani, Counterexample driven refinement for abstract interpretation, in: TACAS 06, 2006, pp. 474-488
- (2006) Counterexample driven refinement for abstract interpretation , pp. 474-488
- Gulavani, B.S.¹ Rajamani, S.K.²

9
- 2442623463
- POPL
- T. Henzinger, R. Jhala, R. Majumdar, K. McMillan, Abstractions from proofs, in: POPL, 2004
- (2004) Abstractions from proofs
- Henzinger, T.¹ Jhala, R.² Majumdar, R.³ McMillan, K.⁴

10
- 0036041563
- POPL
- T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, Lazy abstraction, in: POPL, 2002, pp. 58-70
- (2002) Lazy abstraction , pp. 58-70
- Henzinger, T.A.¹ Jhala, R.² Majumdar, R.³ Sutre, G.⁴

11
- 36349020185
- PADL
- A. Rybalchenko, A. Podelski, Armc: The logical choice for software model checking with abstraction refinement, in: PADL, 2007
- (2007) Armc: The logical choice for software model checking with abstraction refinement
- Rybalchenko, A.¹ Podelski, A.²

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