SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Acta Informatica

Volumn 1, Issue 4, 1972, Pages 271-281

Proof of correctness of data representations

(1) Hoare, C A R a

a QUEEN'S UNIVERSITY BELFAST (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL PROGRAMMING;

EID: 0015482118 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00289507 Document Type: Article

Times cited : (767)

References (8)

1
- 84976773567
- The development of programs by stepwise refinement
- (1971) Communications of the ACM , vol.14 , pp. 221-227
- Wirth, N.¹

2
- 84933414918
- Dijkstra, E. W.: Notes on structured programming. In Structured Programming. Academic Press (1972).

3
- 84933449814
- Hoare, C. A. R.: Notes on data structuring. Ibid.

4
- 84933377564
- Dahl, O.-J.: Hierachical program structures. Ibid.

5
- 84933433688
- Milner, R.: An algebraic definition of simulation between programs. CS 205 Stanford University, February 1971.

6
- 0037710417
- A constructive approach to the problem of program correctness
- (1968) BIT , vol.8 , pp. 174-186
- Dijkstra, E.W.¹

7
- 0004067132
- Publication No. S-22, Norwegian Computing Center, Oslo
- (1970) The Simula 67 common base language
- Dahl, O.-J.¹ Myhrhaug, B.² Nygaard, K.³

8
- 84945708698
- An axiomatic approach to computer programming
- (1969) Communications of the ACM , vol.12 , pp. 576-580
- Hoare, C.A.R.¹

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