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

메뉴 건너뛰기

Lecture Notes in Computer Science

Volumn 3385, Issue , 2005, Pages 42-58

The arithmetic-geometric progression abstract domain

(1) Feret, Jérôme a

a ECOLE NORMALE SUPÉRIEURE (France)

Author keywords

Abstract Interpretation; Numerical domains; Static analysis

Indexed keywords

ERROR ANALYSIS; FUNCTIONS; ITERATIVE METHODS; NUMERICAL METHODS;

ABSTRACT INTERPRETATION; CLOCK COUNTERS; NUMERICAL DOMAINS; STATIC ANALYSIS;

ABSTRACTING;

EID: 24144447322 PISSN: 03029743 EISSN: None Source Type: Conference Proceeding
DOI: 10.1007/978-3-540-30579-8_3 Document Type: Conference Paper

Times cited : (23)

References (9)

1
- 84887962732
- Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
- LNCS. Springer-Verlag
- B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The Essence of Computation: Complexity, Analysis, Transformation., LNCS 2566. Springer-Verlag, 2002.
- (2002) The Essence of Computation: Complexity, Analysis, Transformation , vol.2566
- Blanchet, B.¹ Cousot, P.² Cousot, R.³ Feret, J.⁴ Mauborgne, L.⁵ Miné, A.⁶ Monniaux, D.⁷ Rival, X.⁸

2
- 33745944687
- A static analyzer for large safety-critical software
- ACM Press
- B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In Proc. PLDI'03. ACM Press, 2003.
- (2003) Proc. PLDI'03
- Blanchet, B.¹ Cousot, P.² Cousot, R.³ Feret, J.⁴ Mauborgne, L.⁵ Miné, A.⁶ Monniaux, D.⁷ Rival, X.⁸

3
- 0005312434
- PhD thesis, Université Scientifique et Médicale de Grenoble
- P. Cousot. Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. PhD thesis, Université Scientifique et Médicale de Grenoble, 1978.
- (1978) Méthodes Itératives de Construction et d'Approximation de Points Fixes d'Opérateurs Monotones sur un Treillis, Analyse Sémantique des Programmes
- Cousot, P.¹

4
- 0003011657
- Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
- ACM Press
- P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. POPL'77. ACM Press, 1977.
- (1977) Proc. POPL'77
- Cousot, P.¹ Cousot, R.²

5
- 0000963996
- Abstract interpretation frameworks
- August
- P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4), August 1992.
- (1992) Journal of Logic and Computation , vol.2 , Issue.4
- Cousot, P.¹ Cousot, R.²

6
- 33748988364
- Static analysis of digital filters
- number 2986 in LNCS. Springer-Verlag
- J. Feret. Static analysis of digital filters. In European Symposium on Programming (ESOP'04), number 2986 in LNCS. Springer-Verlag, 2004.
- (2004) European Symposium on Programming (ESOP'04)
- Feret, J.¹

7
- 0347242804
- The Objective Caml system, documentation and user's manual
- INRIA
- X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system, documentation and user's manual. Technical report, INRIA, 2002.
- (2002) Technical Report
- Leroy, X.¹ Doligez, D.² Garrigue, J.³ Rémy, D.⁴ Vouillon, J.⁵

8
- 1442333664
- The octagon abstract domain
- IEEE
- A. Miné. The octagon abstract domain. In Proc. WCRE'01 (AST'01), IEEE, 2001.
- (2001) Proc. WCRE'01 (AST'01)
- Miné, A.¹

9
- 24644502343
- Relational abstract domains for the detection of floating-point run-time errors
- LNCS. Springer
- A. Miné. Relational abstract domains for the detection of floating-point run-time errors. In Proc. ESOP'04, LNCS. Springer, 2004.
- (2004) Proc. ESOP'04
- Miné, A.¹

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