메뉴 건너뛰기




Volumn , Issue , 2002, Pages 74-79

A hoare-style proof system for robot programs

Author keywords

[No Author keywords available]

Indexed keywords

ALGOL (PROGRAMMING LANGUAGE); ROBOT PROGRAMMING; SEMANTICS; THEOREM PROVING;

EID: 0036927089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (8)

References (8)
  • 1
    • 84976766710 scopus 로고
    • Ten years of Hoare's logic: A survey-Part I
    • Apt, K. 1981. Ten years of Hoare's logic: a survey-Part I. ACM Trans. Program. Lang. Syst. 3(4):431-483.
    • (1981) ACM Trans. Program. Lang. Syst. , vol.3 , Issue.4 , pp. 431-483
    • Apt, K.1
  • 2
    • 0021174211 scopus 로고
    • Ten years of Hoare's logic: A survey-Part II: Nondeterminism
    • Apt, K. 1984. Ten years of Hoare's logic: a survey-Part II: nondeterminism. Theoret. Comput. Sci. 28:83-109.
    • (1984) Theoret. Comput. Sci. , vol.28 , pp. 83-109
    • Apt, K.1
  • 4
    • 0002896911 scopus 로고
    • Soundness and completeness of an axiom system for program verification
    • Cook, S. 1978. Soundness and completeness of an axiom system for program verification. SIAM J. of Computing 7(1):70-90.
    • (1978) SIAM J. of Computing , vol.7 , Issue.1 , pp. 70-90
    • Cook, S.1
  • 5
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • Hoare, C. 1969. An axiomatic basis for computer programming. Comm. ACM 12(10):576-580, 583.
    • (1969) Comm. ACM , vol.12 , Issue.10 , pp. 576-580
    • Hoare, C.1
  • 7
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • Meltzer, B., and Michie, D., eds., Edinburgh University Press
    • McCarthy, J., and Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4, Edinburgh University Press. 463-502.
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.2


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