메뉴 건너뛰기




Volumn 14, Issue 1, 1990, Pages 43-57

Behavioural correctness of data representations

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES--ALGEBRA;

EID: 0025444459     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(90)90057-K     Document Type: Article
Times cited : (25)

References (23)
  • 8
    • 0015482118 scopus 로고
    • Proof of correctness of data representations
    • (1972) Acta Inform , vol.1 , pp. 271-281
    • Hoare1
  • 14
    • 84988613226 scopus 로고
    • An algebraic definition of simulation between programs
    • London
    • (1971) Proceedings IJCAI , vol.71 , pp. 481-489
    • Milner1
  • 15
    • 84910761545 scopus 로고    scopus 로고
    • T. Nipkow, Draft of [16], sent to the author on 11 April 1985.
  • 16
    • 0022674022 scopus 로고
    • Non-deterministic data types: Models and implementations
    • (1986) Acta Inform. , vol.22 , pp. 629-661
    • Nipkow1
  • 20
    • 84935249295 scopus 로고
    • Ein Modulkonzept in der Theorie abstrakter Datentypen
    • Bericht Nr. 81 (IfI-HH-B-81/81), Universität Hamburg, extended abstract in English: [21].
    • (1981) Fachbereich Informatik
    • Schoett1
  • 21
    • 84910762856 scopus 로고
    • A theory of program modules, their specification and implementation
    • (Extended Abstract), Department of Computer Science, University of Edinburgh
    • (1983) Internal Rept. CSR-155-83
    • Schoett1
  • 23
    • 0003954902 scopus 로고
    • Data abstraction and the correctness of modular programming
    • Department of Computer Science, University of Edinburgh, (also ECS-LFCS-87-19)
    • (1987) Thesis CST-42-87
    • Schoett1


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