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

메뉴 건너뛰기

Acta Informatica

Volumn 8, Issue 2, 1977, Pages 97-112

Language design methods based on semantic principles

(1) Tennent, R D a

a QUEEN S UNIVERSITY (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0011586145 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00289243 Document Type: Article

Times cited : (48)

References (45)

1
- 84933261814
- Eidgenössische Technische Hochschule, Zürich, Unpublished memo
- (1972) Advantages of the value parameter over the constant parameter
- Ammann, U.¹ Wirth, N.²

2
- 0003977796
- Auerbach, Philadelphia
- (1973) Simula Begin
- Birtwistle, G.M.¹ Dahl, O.J.² Myrhaug, B.³ Nygaard, K.⁴

3
- 0016534664
- Universal types in Concurrent Pascal
- (1975) Information Processing Letters , vol.3 , pp. 165-166
- Brinch Hansen, P.¹

4
- 0016882285
- A Pascal compiler for PDP-11 mini-computers
- (1976) Software Practice and Experience , vol.6 , pp. 109-116
- Bron, C.¹ de Vries, W.²

5
- 0003503973
- Princeton University Press, Princeton
- (1941) The calculi of lambda conversion
- Church, A.¹

6
- 84945709727
- Goto statement considered harmful
- (1968) Communications of the ACM , vol.11 , pp. 147-148
- Dijkstra, E.W.¹

7
- 0001654941
- Notes on structured programming
- O.J., Dahl, E.W., Dijkstra, C.A.R., Hoare, Academic Press, London
- (1972) Structured programming
- Dijkstra, E.W.¹

8
- 0016543936
- Guarded commands, non-determinacy, and formal derivation of programs
- (1975) Comm. ACM , vol.18 , pp. 453-457
- Dijkstra, E.W.¹

9
- 84976741851
- PAL — a language for teaching programming linguistics
- Brandin Systems Press, Princeton
- (1968) Proc. 23rd ACM National Conference
- Evans, A.¹

10
- 0016895883
- Postlude to a Pascal compiler bootstrap on a DEC system 10
- (1976) Software Practice and Experience , vol.6 , pp. 29-42
- Grosse-Lindemann, C.O.¹ Nagel, H.H.²

11
- 0015752030
- Critical comments on the programming language Pascal
- (1973) Acta Informatica , vol.3 , pp. 47-57
- Habermann, A.N.¹

12
- 0037710413
- Procedures and parameters: an axiomatic approach
- E., Engeler, Lecture Notes in Mathematics, Vol. 188, Springer, Berlin-Heidelberg-New York
- (1971) Symposium on Semantics of Algorithmic Languages
- Hoare, C.A.R.¹

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

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

15
- 84933261817
- Hoare, C.A.R.: Hints on programming language design. Computer Science Department, Stanford University, CS-403, 1973

16
- 0001580561
- Recursive data structures
- (1975) International J. Computer and Systems Sciences , vol.4 , pp. 105-132
- Hoare, C.A.R.¹

17
- 0000972249
- An axiomatic definition of the programming language Pascal
- (1973) Acta Informatica , vol.2 , pp. 335-355
- Hoare, C.A.R.¹ Wirth, N.²

18
- 0003577991
- Pascal: User manual and report
- Springer, Berlin-Heidelberg-New York
- (1974) Lecture Notes in Computer Science, Vol. 18
- Jensen, K.¹ Wirth, N.²

19
- 84933261816
- Knobe, B., Yuval, G.: Towards Pascal II. The Hebrew University of Jerusalem, 1974

20
- 0016354647
- Structured programming with goto statements
- (1974) Computing Surveys , vol.6 , pp. 261-301
- Knuth, D.E.¹

21
- 0001097061
- The mechanical evaluation of expressions
- (1964) The Computer Journal , vol.6 , pp. 308-320
- Landin, P.J.¹

22
- 84933261800
- Landin, P.J.: Getting rid of labels. Univac Systems Programming Research Report, New York, 1965

23
- 84943347452
- The next 700 programming languages
- (1966) Communications of the ACM , vol.9 , pp. 157-164
- Landin, P.J.¹

24
- 34250399972
- More comments on the programming language Pascal
- (1975) Acta Informatica , vol.4 , pp. 231-243
- Lecarme, O.¹ Desjardins, P.²

25
- 84933261807
- Ligler, G.T.: A mathematical approach to language design. Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, 1975

26
- 0002699574
- A basis for a mathematical theory of computation
- P., Braffort, D., Hirschberg, North-Holland, Amsterdam
- (1963) Computer programming and formal systems
- McCarthy, J.¹

27
- 84933261810
- Milne, R.E.: The formal semantics of computer languages and their implementations. Oxford University Computing Laboratory, Programming Research Group, technical microfiche TCF-2, 1974

28
- 0005360465
- Chapman and Hall, London
- (1976) A theory of programming language semantics
- Milne, R.E.¹ Strachey, C.²

29
- 84933261803
- Mosses, P.: The mathematical semantics of ALGOL 60. Oxford University Computing Laboratory, Programming Research Group, technical monograph PRG-12, 1974

30
- 0013038565
- Harvard University Press, Cambridge (Mass.)
- (1963) Set theory and its logic
- Quine, W.O.¹

31
- 0014780675
- Gedanken — a simple typeless language based on the principle of completeness and the reference concept
- (1970) Communications of the ACM , vol.13 , pp. 308-319
- Reynolds, J.C.¹

32
- 85033218933
- Towards modular programming in high-level languages
- (1974) Algol Bulletin , vol.37 , pp. 12-23
- Schuman, S.A.¹

33
- 0040358448
- Freeman, San Francisco
- (1963) Set theory and logic
- Stoll, R.R.¹

34
- 0039902925
- Towards a formal semantics
- T., Steel, North-Holland, Amsterdam
- (1966) Formal language description languages
- Strachey, C.¹

35
- 84933261805
- Mathematical semantics and design of programming languages
- University of Toronto, Ontario, Canada
- (1973) Ph. D. thesis
- Tennent, R.D.¹

36
- 0016985840
- The denotational semantics of programming languages
- (1976) Comm. ACM , vol.19 , pp. 437-453
- Tennent, R.D.¹

37
- 84933213006
- Research Reports in Informatics, No. 1, Institute of Mathematics, University of Oslo, Norway
- (1975) Generalized types in high-level programming languages
- Wang, A.¹

38
- 84856497151
- Academic Press, London
- (1973) Algol 60: Compilation and assessment
- Wichmann, B.A.¹

39
- 0005929466
- Report on the algorithmic language Algol 68
- (1969) Numer. Math. , vol.14 , pp. 79-218
- van Wijngaarden, A.¹

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

41
- 0038386482
- Prentice-Hall, Englewood Cliffs(N. J.)
- (1973) Systematic programming — an introduction
- Wirth, N.¹

42
- 0346801849
- On the design of programming languages
- J.L., Rosenfeld, North-Holland, Stockholm. Amsterdam
- (1974) Proc. IFIP Congress 74
- Wirth, N.¹

43
- 0016521035
- An assessment of the programming language Pascal
- (1975) IEEE Trans. Software Engineering , vol.1 , pp. 192-198
- Wirth, N.¹

44
- 0041681844
- A contribution to the development of ALGOL
- (1966) Communications of the ACM , vol.9 , pp. 413-431
- Wirth, N.¹ Hoare, C.A.R.²

45
- 84910277546
- A control statement for natural top-down structured programming
- Lecture Notes in Computer Science, Vol. 19, Springer, Berlin-Heidelberg-New York
- (1974) Programming Symposium Proceedings, Colloque sur la Programmation, Paris (1974)
- Zahn, C.J.¹

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