메뉴 건너뛰기




Volumn Part F130706, Issue , 1978, Pages 105-118

Automating proofs of the absence of common runtime errors

Author keywords

[No Author keywords available]

Indexed keywords


EID: 85051339224     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512760.512772     Document Type: Conference Paper
Times cited : (24)

References (18)
  • 5
    • 0014973676 scopus 로고
    • Proof of a program: FIND
    • Jan.
    • Hoare, C. A. R., Proof of a Program: FIND, Comm. ACM 14, 1(Jan. 1971), pp. 39-45.
    • (1971) Comm. ACM , vol.14 , Issue.1 , pp. 39-45
    • Hoare, C.A.R.1
  • 6
    • 0000972249 scopus 로고
    • An axiomatic definition of the programming language pascal
    • Hoare, C. A. R. and N. Wirth, An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, Vol. 2, 1973, pp. 335-355.
    • (1973) Acta Informatica , vol.2 , pp. 335-355
    • Hoare, C.A.R.1    Wirth, N.2
  • 9
    • 0016941016 scopus 로고
    • Logical analysis of programs
    • April
    • Katz, S. M. and Z. Manna, Logical Analysis of Programs, Comm. ACM 19, 4(April 1976), pp. 188-206.
    • (1976) Comm. ACM , vol.19 , Issue.4 , pp. 188-206
    • Katz, S.M.1    Manna, Z.2
  • 12
    • 85053046482 scopus 로고    scopus 로고
    • A simplifier based on efficient decision algorithms
    • Nelson, C. G., and D. Oppen, A Simplifier Based on Efficient Decision Algorithms, these proceedings.
    • These Proceedings
    • Nelson, C.G.1    Oppen, D.2
  • 16
    • 84976775198 scopus 로고
    • The synthesis of loop predicates
    • Feb.
    • Wegbreit, B., The Synthesis of Loop Predicates, Comm. ACM 17, 2(Feb. 1974), pp. 102-112.
    • (1974) Comm. ACM , vol.17 , Issue.2 , pp. 102-112
    • Wegbreit, B.1
  • 17
    • 84976773567 scopus 로고
    • Program development by stepwise refinement
    • April
    • Wirth, N., Program Development by Stepwise Refinement, Comm. ACM 14, 4(April 1971), pp. 221-227.
    • (1971) Comm. ACM , vol.14 , Issue.4 , pp. 221-227
    • Wirth, N.1


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