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

메뉴 건너뛰기

LISP and Symbolic Computation

Volumn 6, Issue 3-4, 1993, Pages 233-247

The discoveries of continuations

(1) Reynolds, John C a

a CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

Continuation; Continuation Passing Style; Semantics

Indexed keywords

EID: 0000798744 PISSN: 08924635 EISSN: 15730557 Source Type: Journal
DOI: 10.1007/BF01019459 Document Type: Article

Times cited : (163)

References (48)

1
- 84931345520
- Abdali, S. Kamal. A Simple Lambda-Calculus Model of Programming Languages. AEC R & D Report C00-3077-28, New York University (1973).

2
- 84931378917
- Abdali, S. Kamal. A Combinatory Logic Model of Programming Languages. PhD thesis, University of Wisconsin (1974).

3
- 49549144736
- A lambda-calculus model of programming languages — I. simple constructs
- (1976) Journal of Computer Languages , vol.1 , pp. 287-301
- Abdali¹

4
- 49549138363
- A lambda-calculus model of programming languages — II. jumps and procedures
- (1976) Journal of Computer Languages , vol.1 , pp. 303-320
- Abdali¹

5
- 84931468389
- Abdali, S. Kamal. Electronic mail to J. C. Reynolds. (July 21, 1993).

6
- 84931299340
- Abdali, S. Kamal and Winkler, Franz. A Lambda-Calculus Model for Generating Verification Conditions. Technical Report CS-8104, Rensselaer Polytechnic Institute (June 1981).

7
- 85029591038
- Standard, storeless semantics for ALGOL-style block structure and call-by-name
- Austin, Melton, Lecture Notes in Computer Science, 239, Springer-Verlag, Berlin
- (1986) Mathematical Foundations of Programming Semantics , pp. 1-19
- Abdali¹ Wise²

8
- 0012583850
- A scheme for a higher-level semantic algebra
- Maurice, Nivat, John C., Reynolds, Cambridge University Press, Cambridge, England
- (1985) Algebraic Methods in Semantics , pp. 237-250
- Clinger¹ Friedman² Wand³

9
- 0000242271
- Recursive programming
- (1960) Numerische Mathematik , vol.2 , pp. 312-318
- Dijkstra¹

10
- 84945709727
- Go To statement considered harmful
- (1968) Communications of the ACM , vol.11 , Issue.3 , pp. 147-148
- Dijkstra¹

11
- 34948866138
- SNOBOL, a string manipulation language
- (1964) Journal of the ACM , vol.11 , Issue.1 , pp. 21-30
- Farber¹ Griswold² Polonsky³

12
- 84931440434
- Fischer, Michael J. Lambda calculus schemata. In Proceedings of an ACM Conference on Proving Assertions about Programs (1972) 104–109.

13
- 0002884634
- Lambda-calculus schemata
- (1993) LISP and Symbolic Computation , vol.6 , Issue.3-4 , pp. 257-285
- Fischer¹

14
- 0001097061
- The mechanical evaluation of expressions
- (1964) The Computer Journal , vol.6 , Issue.4 , pp. 308-320
- Landin¹

15
- 84943347337
- A correspondence between ALGOL 60 and Church's lambda-notation
- (1965) Communications of the ACM , vol.8 , Issue.2-3 , pp. 89-101
- Landin¹

16
- 84931297733
- Landin, Peter J. A Generalization of Jumps and Labels. Report, UNIVAC Systems Programming Research (August 29, 1965).

17
- 84943347452
- The next 700 programming languages
- (1966) Communications of the ACM , vol.9 , Issue.3 , pp. 157-166
- Landin¹

18
- 0015050015
- Proving algorithms by tail functions
- (1971) Information and Control , vol.18 , Issue.3 , pp. 220-226
- Mazurkiewicz¹

19
- 36649034379
- Iteratively computable relations
- (1972) Bulletin de l'Académie Polonaise des Sciences Série des Sciences Mathématiques, Astronomiques et Physiques , vol.20 , Issue.9 , pp. 793-798
- Mazurkiewicz¹

20
- 0039981423
- Recursive algorithms and formal languages
- (1972) Bulletin de l'Académie Polonaise des Sciences Série des Sciences Mathématiques, Astronomiques et Physiques , vol.20 , Issue.9 , pp. 799-803
- Mazurkiewicz¹

21
- 0003861212
- MIT Press, Cambridge, Massachusetts
- (1962) LISP 1.5 Programmer's Manual
- McCarthy¹

22
- 84931376863
- McIlroy, M. Douglas. Electronic mail to J. C. Reynolds. (July 14, 1993).

23
- 84931422655
- Milne, Robert. The Formal Semantics of Computer Languages and their Implementations. PhD thesis, Oxford University (1974). Report PRG-13 and Technical Microfiche TCF-2.

24
- 0005360465
- Chapman and Hall, London
- (1976) A Theory of Programming Language Semantics
- Milne¹ Strachey²

25
- 84931418831
- Morris, F. Lockwood. Electronic mail to J. C. Reynolds. (July 13, 1993).

26
- 0011906248
- The next 700 formal language descriptions
- (1993) LISP and Symbolic Computation , vol.6 , Issue.3-4 , pp. 249-256
- Morris¹

27
- 84931448191
- Morris, Jr., James H. Lambda-Calculus Models of Programming Languages. PhD thesis, MIT (December 1968). Report No. MAC-TR-57.

28
- 84931366003
- Morris, Jr., James H. Eliminating non-local transfers from ALGOL-like languages. (1971). Unpublished.

29
- 84976673989
- A bonus from van Wijngaarden's device
- (1972) Communications of the ACM , vol.15 , Issue.8 , pp. 773
- Morris¹

30
- 84931443349
- Morris, Jr., James H. Electronic mail to J. C. Reynolds. (July 22, 1993).

31
- 17144409610
- The design of the GIER ALGOL compiler
- (1963) BIT , vol.3 , pp. 124-140
- Naur¹

32
- 84945709547
- Report on the algorithmic language ALGOL 60
- (1960) Communications of the ACM , vol.3 , Issue.5 , pp. 299-314
- Naur¹

33
- 56549129258
- Revised report on the algorithmic language ALGOL 60
- (1963) Communications of the ACM , vol.6 , Issue.1 , pp. 1-17
- Naur¹

34
- 84931325056
- Reynolds, John C. An introduction to the COGENT programming system. In Association for Computing Machinery Proceedings of the 20th National Conference (1965) 422–436.

35
- 0014780675
- GEDANKEN — a simple typeless language based on the principle of completeness and the reference concept
- (1970) Communications of the ACM , vol.13 , Issue.5 , pp. 308-319
- Reynolds¹

36
- 84931410869
- Reynolds, John C. Definitional interpreters for higher-order programming languages. In Proceedings of the ACM Annual Conference (1972) 717–740.

37
- 85035042395
- On the relation between direct and continuation semantics
- Jacques, Loeckx, Lecture Notes in Computer Science, 14, Springer-Verlag, Berlin
- (1974) Automata, Languages and Programming , pp. 141-156
- Reynolds¹

38
- 84976650770
- Semantics of the domain of flow diagrams
- (1977) Journal of the ACM , vol.24 , Issue.3 , pp. 484-503
- Reynolds¹

39
- 84931401729
- Scott, Dana S. Outline of a mathematical theory of computation. In Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems (1970) 169–176.

40
- 84931370510
- Scott, Dana S. Outline of a Mathematical Theory of Computation. Technical Monograph PRG-2, Oxford University Computing Laboratory (November 1970).

41
- 84931407891
- Steele Jr., Guy Lewis and Sussman, Gerald Jay. LAMBDA: The Ultimate Imperative. AI Memo 353, Massachusetts Institute of Technology (March 10, 1976).

42
- 84931296620
- Strachey, Christopher. A mathematical semantics which can deal with full jumps. In Théorie des Algorithmes, des Langages et de la Programmation, IRIA (INRIA), Rocquencourt, France (1973) 175–191.

43
- 84931325681
- Strachey, Christopher and Wadsworth, Christopher P. Continuations, A Mathematical Semantics for Handling Full Jumps. Technical Monograph PRG-11, Oxford University Computing Laboratory (January 1974).

44
- 84931456705
- Sussman, Gerald Jay and Steele Jr., Guy Lewis, SCHEME: An Interpreter for Extended Lambda Calculus. AI Memo 349, Massachusetts Institute of Technology (December 1975).

45
- 17144364108
- Recursive definition of syntax and semantics
- T. B., Steel, Jr., North-Holland, Amsterdam
- (1966) Formal Language Description Language for Computer Programming , pp. 13-24
- van Wijngaarden¹

46
- 84931410078
- Wadsworth, Christopher P. Semantics and Pragmatics of the Lambda-Calculus. PhD thesis, Oxford University (September 1971).

47
- 84931445083
- Wadsworth, Christopher P. Electronic mail to Amr A. Sabry. (December 24, 1992).

48
- 84931417181
- Wadsworth, Christopher P. Electronic mail to J. C. Reynolds. (July 22, 1993).

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