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

메뉴 건너뛰기

LISP and Symbolic Computation

Volumn 6, Issue 3-4, 1993, Pages 259-287

Lambda-calculus schemata

(1) Fischer, Michael J a

a YALE UNIVERSITY (United States)

Author keywords

Bindings; Closures; Continuation Passing Style; Deletion Strategy; Functional Objects; Lambda Calculus; LISP; Retention Strategy; Stack

Indexed keywords

EID: 0002884634 PISSN: 08924635 EISSN: 15730557 Source Type: Journal
DOI: 10.1007/BF01019461 Document Type: Article

Times cited : (36)

References (37)

1
- 84976859575
- Introduction to Oregano
- (1971) ACM SIGPLAN Notices , vol.6 , Issue.2 , pp. 171-190
- Berry¹

2
- 84931452118
- Berry, Daniel M. Block structure: Retention or deletion. In Proceedings of the Third Annual ACM Symposium on Theory of Computing (1972) 86–100.

3
- 84931335671
- Chandra, Ashok K. On the Properties and Applications of Program Schemas. PhD thesis, Computer Science Department, Stanford University (1973). Also appears as Report No. CS-336, AI-188 (February 1973).

4
- 0003503973
- Princeton University Press, Princeton, New Jersey
- (1941) The Calculi of Lambda-Conversion. Annals of Mathematics Studies
- Church¹

5
- 84931340805
- Cole, Steven N. Pushdown store machines and real-time computation. In Proceedings of the [First Annual] ACM Symposium on Theory of Computing (1969) 233–245.

6
- 84931477138
- Cooper, D. Mathematical proofs about computer programs. In Machine Intelligence 1, Oliver and Boyd (1967) 17–28.

7
- 84972048107
- Representing control, a study of the CPS transformation
- (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 361-391
- Danvy¹ Filinski²

8
- 84910281770
- Recursive programming
- S., Rosen, McGraw-Hill, New York
- (1967) Programming Systems and Languages
- Dijkstra¹

9
- 84931388023
- Evans, Arthur. PAL—a language designed for teaching programming linguistics. In Proceedings of the ACM 23rd National Conference (August 1968).

10
- 84931335998
- Friedman, Daniel P. and Felleisen, Matthias. The Little LISPer. The MIT Press, trade edition (1988) chapter 9, 156–157.

11
- 0000310384
- One-way stack automata
- (1967) Journal of the ACM , vol.14 , Issue.2 , pp. 389-418
- Ginsburg¹ Greibach² Harrison³

12
- 84931319365
- Henhapl, W. and Jones, C. D. The Block Concept and Some Possible Implementations, with Proofs of Equivalence. Technical Report TR. 25.104, IBM Vienna (April 1970).

13
- 84931397806
- Hewitt, Carl. (1970). Personal communication.

14
- 84931399890
- Hewitt, Carl. More Comparative Schematology. Artificial intelligence Memo 207, M.I.T. Project MAC (August 1970).

15
- 0002689609
- The logical schemes of algorithms (Russian)
- (1958) Problems of Cybernetics , vol.1 , pp. 75-127
- Ianov¹

16
- 84931370940
- Landin, Peter J. The mechanical evaluation of expressions. The Computer Journal, 6, 4 (January 1964).

17
- 0014800787
- On formalised computer programs
- (1970) Journal of Computer and System Sciences , vol.4 , Issue.3 , pp. 220-249
- Luckham¹ Park² Paterson³

18
- 84931397542
- Manna, Zohar. Program schemas. In Aho, Alfred V., editor, Currents in the Theory of Computing, Prentice-Hall, Inc. (1973) 90–142.

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

20
- 0002699574
- A basis for a mathematical theory of computation
- P., Braffort, D., Hirschberg, North-Holland, Amsterdam
- (1963) Computer Programming and Formal Systems
- McCarthy¹

21
- 84931369663
- McCarthy, John et al. The LISP 1.5 Programmers Manual. M.I.T. Press (1963).

22
- 0012528514
- revision 0, Project MAC—M.I.T., Cambridge, Massachusetts
- (1974) MACLISP Reference Manual
- Moon¹

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

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

25
- 84931417350
- Moses, Joel. The function of FUNCTION in LISP (or, why the FUNARG problem should be called the environment problem). SIGSAM Bulletin, 15 (July 1970).

26
- 84931408543
- Paterson, Michael S. Equivalence Problems in a Model of Computation. PhD thesis, Cambridge University (August 1967). Also appears as Artificial intelligence Technical Memo No. 1, M.I.T. A.I. Lab, Cambridge, Massachusetts, issued November 1970.

27
- 84931476632
- Paterson, Michael S. Program schemata. In Michie, D., editor, Machine Intelligence 3, chapter 2, Edinburgh University Press (1968) 18–31.

28
- 84931361924
- Paterson, Michael S. and Hewitt, Carl E. Comparative schematology. In Record of Project MAC Conference on Concurrent Systems and Parallel Computation, ACM (December 1970) 119–127.

29
- 2142729313
- Academic Press, New York
- (1964) Algol 60 Implementation
- Randell, B.¹ Russell, L.J.²

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

31
- 84931326287
- Reynolds, John C. The discoveries of continuations. LISP and Symbolic Computation (1993). Appears in this issue.

32
- 0004453916
- On Ianov's program schemata
- (1964) Journal of the ACM , vol.11 , Issue.1 , pp. 1-9
- Rutledge, J.¹

33
- 84931428806
- Sabry, Amr and Felleisen, Matthias. Reasoning about programs in continuation-passing style. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming (June 1992) 288–298. Revised and extended version in LISP and Symbolic Computation, 6, 3/4 (1993) 287–358.

34
- 84931363327
- Steele Jr., Guy L. Common LISP. Digital Press, second edition (1990).

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

36
- 0015078811
- Translating recursion equations into flow charts
- (1971) Journal of Computer and System Sciences , vol.5 , Issue.3 , pp. 254-285
- Strong¹

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

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