메뉴 건너뛰기




Volumn 31, Issue 5, 1996, Pages 23-32

Catching bugs in the web of program invariants

Author keywords

[No Author keywords available]

Indexed keywords


EID: 13144265336     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231387     Document Type: Article
Times cited : (21)

References (28)
  • 3
    • 0005258611 scopus 로고
    • 4 report on the algorithmic language scheme
    • July
    • 4 report on the algorithmic language scheme. ACM Lisp Pointers 4, 3 (July 1991).
    • (1991) ACM Lisp Pointers 4 , vol.3
    • Clinger, W.1    Rees, J.2
  • 5
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analyses of programs by construction or approximation of fixpoints
    • COUSOT, P., AND COUSOT, R. Abstract interpretation: A unified lattice model for static analyses of programs by construction or approximation of fixpoints. In Proceedings of the ACM Sigplan Conference on Principles of Programming Languages (1977), pp. 238-252.
    • (1977) Proceedings of the ACM Sigplan Conference on Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 10
    • 0012193440 scopus 로고
    • Tech. Rep. CMU-CS-93-221, Carnegie Mellon University, December
    • HEINTZE, N. Set based analysis of arithmetic. Tech. Rep. CMU-CS-93-221, Carnegie Mellon University, December 1993.
    • (1993) Set Based Analysis of Arithmetic
    • Heintze, N.1
  • 12
    • 0028448324 scopus 로고
    • Dynamic typing: Syntax and proof theory
    • HENGLEIN, F. Dynamic typing: syntax and proof theory. Science of Computer Programming 22 (1994), pp. 197-230.
    • (1994) Science of Computer Programming , vol.22 , pp. 197-230
    • Henglein, F.1
  • 15
    • 84955580823 scopus 로고
    • Effective flow analysis for avoiding run-time checks
    • September Springer-Verlag, Preliminary version appears as part of Technical Report DAIMI-PB 493, Åarhus University, May 1995
    • JAGANNATHAN, S., AND WRIGHT, A. K. Effective flow analysis for avoiding run-time checks. In Proc. 2nd International Static Analysis Symposium, LNCS 983 (September 1995), Springer-Verlag, pp. 207-224. Preliminary version appears as part of Technical Report DAIMI-PB 493, Åarhus University, May 1995.
    • (1995) Proc. 2nd International Static Analysis Symposium, LNCS 983 , pp. 207-224
    • Jagannathan, S.1    Wright, A.K.2
  • 22
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value, and the λ-calculus
    • PLOTKIN, G. D. Call-by-name, call-by-value, and the λ-calculus. Theoretical Comput. Sci. 1 (1975), 125-159.
    • (1975) Theoretical Comput. Sci. , vol.1 , pp. 125-159
    • Plotkin, G.D.1


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