메뉴 건너뛰기




Volumn 41, Issue 3, 2001, Pages 35-49

Efficient substitution in hoare logic expressions

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER AIDED INSTRUCTION; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; ENCODING (SYMBOLS); MATHEMATICAL PROGRAMMING; SEMANTICS;

EID: 18944373663     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80872-7     Document Type: Conference Paper
Times cited : (4)

References (10)
  • 3
    • 9444273092 scopus 로고
    • Operational semantics in a natural deduction setting
    • G. Huet, & G. Plotkin. Cambridge University Press
    • Burstall R., Honsell F. Operational semantics in a natural deduction setting. Huet G., Plotkin G. Logical Frameworks. 1992;185-214 Cambridge University Press
    • (1992) Logical Frameworks , pp. 185-214
    • Burstall, R.1    Honsell, F.2
  • 5
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • Hoare C.A.R. An axiomatic basis for computer programming. Communications of the ACM. 12:(10):October 1969;576-580
    • (1969) Communications of the ACM , vol.12 , Issue.10 , pp. 576-580
    • Hoare, C.A.R.1
  • 6
    • 0003857845 scopus 로고
    • Hoare's logic in the LF
    • Laboratory for Foundations of Computer Science, University of Edinburgh, June
    • Ian A. Mason. Hoare's logic in the LF. Technical Report ECS-LFCS-87-32, Laboratory for Foundations of Computer Science, University of Edinburgh, June 1987.
    • (1987) Technical Report , vol.ECS-LFCS-87-32
    • Ian, A.1    Mason2
  • 8
    • 0003840928 scopus 로고
    • Introduction to isabelle
    • University of Cambridge, Computer Laboratory
    • L. C. Paulson. Introduction to Isabelle. Technical Report 280, University of Cambridge, Computer Laboratory, 1993.
    • (1993) Technical Report , vol.280
    • Paulson, L.C.1
  • 9
    • 0001255803 scopus 로고    scopus 로고
    • Logical frameworks
    • Alan Robinson, & Andrei Voronkov. Elsevier Science Publishers
    • Pfenning F. Logical frameworks. Robinson Alan, Voronkov Andrei. Handbook of Automated Reasoning. 1999;Elsevier Science Publishers
    • (1999) Handbook of Automated Reasoning
    • Pfenning, F.1


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