메뉴 건너뛰기




Volumn 1130, Issue , 1996, Pages 395-408

Behavioural specifications in type theory

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; SPECIFICATIONS;

EID: 84958616626     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_55     Document Type: Conference Paper
Times cited : (2)

References (18)
  • 4
    • 0029489133 scopus 로고
    • Behavioural and abstractor specifications
    • December
    • Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25(2-3):149-186, December1995.
    • (1995) Science of Computer Programming , vol.25 , Issue.2-3 , pp. 149-186
    • Bidoit, M.1    Hennicker, R.2    Wirsing, M.3
  • 5
    • 0004160776 scopus 로고    scopus 로고
    • PhD thesis, University of Edinburgh, September 1994. Also published as Technical Report CST-110-94, Department of Computer Science
    • Healfdene Goguen. A Typed Operational Semantics for Type Theory. PhD thesis, University of Edinburgh, September 1994. Also published as Technical Report CST-110-94, Department of Computer Science.
    • A Typed Operational Semantics for Type Theory
    • Goguen, H.1
  • 6
    • 0000564340 scopus 로고
    • Context induction: A proof principle for behavioural abstractions and algebraic implementations
    • Rolf Hennicker. Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing, 4:326-345, 1991.
    • (1991) Formal Aspects of Computing , vol.4 , pp. 326-345
    • Hennicker, R.1
  • 10
    • 84974286194 scopus 로고
    • Program specification and data refinement in type theory
    • Zhaohui Luo. Program specification and data refinement in type theory. Math. Struct, in Comp. Science, 3:333-63, 1993.
    • (1993) Math. Struct, in Comp. Science , vol.3 , pp. 333-363
    • Luo, Z.1
  • 12
    • 0003522165 scopus 로고
    • Report ECS-LFCS-92-211, Department of Computer Science, University of Edinburgh, May
    • Zhaohui Luo and Randy Pollack. LEGO proof development system: User's manual. Report ECS-LFCS-92-211, Department of Computer Science, University of Edinburgh, May 1992.
    • (1992) LEGO Proof Development System: User's Manual
    • Luo, Z.1    Pollack, R.2


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