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

메뉴 건너뛰기

Acta Informatica

Volumn 2, Issue 4, 1973, Pages 335-355

An axiomatic definition of the programming language PASCAL

(2) Hoare, C A R a Wirth, N b

a QUEEN'S UNIVERSITY BELFAST (United Kingdom)

b ETH ZURICH (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000972249 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00289504 Document Type: Article

Times cited : (286)

References (8)

1
- 0015197891
- The programming language PASCAL
- (1971) Acta Informatica , vol.1 , pp. 35-63
- Wirth, N.¹

2
- 84933442670
- Naur, P. (Ed.): Revised report on the algorithmic language ALGOL 60. Comm. ACM 6, 1–17 (1963); Comp. J. 5, 349–367 (1962/63); Numer. Math. 4, 420–453 (1963)

3
- 84983952581
- The design of a PASCAL compiler
- (1971) Software: Practice and Experience , vol.1 , pp. 309-333
- Wirth, N.¹

4
- 0015271164
- A PASCAL compiler for the ICL 1900 Series Computers
- (1972) Software, Practice and Experience , vol.2 , pp. 73-77
- Welsh, J.¹ Quinn, C.²

5
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , pp. 576-581
- Hoare, C.A.R.¹

6
- 84933442942
- Hoare, C. A. R. : An axiomatic definition of the programming language PASCAL, Second Draft. Proc. Symposium on Theoretical Programming, Novosibirsk, Aug. 1972

7
- 0012151036
- Notes on data structuring
- O.-J., Dahl, E. W., Dijkstra, C. A. R., Hoare, Academic Press, London und New York
- (1972) Structured programming
- Hoare, C.A.R.¹

8
- 0009436930
- A note on the for statement
- (1972) BIT , vol.12 , pp. 334-341
- Hoare, C.A.R.¹

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