메뉴 건너뛰기




Volumn 1782, Issue , 2000, Pages 88-103

Formalizing implementation strategies for first-class continuations?

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EID: 84947281307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46425-5_6     Document Type: Conference Paper
Times cited : (13)

References (22)
  • 7
    • 84972048107 scopus 로고
    • Representing control, a study of the CPS transformation
    • Olivier Danvy and Andrzej Filinski. Representing control, a study of the CPS transformation. Mathematical Structures in Computer Science, 2(4):361-391, 1992.
    • (1992) Mathematical Structures in Computer Science , vol.2 , Issue.4 , pp. 361-391
    • Danvy, O.1    Filinski, A.2
  • 12
    • 0003882245 scopus 로고
    • The Calculi of _-v-CS Conversion: A Syntactic Theory of Con- trol and State in Imperative Higher-Order Programming Languages
    • PhD thesis, Indiana, Au- gust
    • Matthias Felleisen. The Calculi of _-v-CS Conversion: A Syntactic Theory of Con- trol and State in Imperative Higher-Order Programming Languages. PhD thesis, Department of Computer Science, Indiana University, Bloomington, Indiana, Au- gust 1987.
    • (1987) Department of Computer Science, Indiana University, Bloomington
    • Felleisen, M.1
  • 16
    • 0028743675 scopus 로고
    • A tractable Scheme implementation
    • Richard A. Kelsey and Jonathan A. Rees. A tractable Scheme implementation. Lisp and Symbolic Computation, 7(4):315-336, 1994.
    • (1994) Lisp and Symbolic Computation , vol.7 , Issue.4 , pp. 315-336
    • Kelsey, R.A.1    Rees, J.A.2
  • 18
    • 0001097061 scopus 로고
    • Landin. The mechanical evaluation of expressions
    • Peter J. Landin. The mechanical evaluation of expressions. Computer Journal, 6:308-320, 1964.
    • (1964) Computer Journal , vol.6 , pp. 308-320
    • Peter, J.1
  • 19
    • 84976776509 scopus 로고
    • An efficient environment allocation scheme in an interpreter for a lexically-scoped Lisp
    • Stanford, California
    • Drew McDermott. An efficient environment allocation scheme in an interpreter for a lexically-scoped Lisp. In Conference Record of the 1980 LISP Conference, pages 154-162, Stanford, California, August 1980.
    • (1980) Conference Record of the 1980 LISP Conference , Issue.August , pp. 154-162
    • McDermott, D.1
  • 20
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the fi-calculus
    • Gordon D. Plotkin. Call-by-name, call-by-value and the fi-calculus. Theoretical Computer Science, 1:125-159, 1975.
    • (1975) Theoretical Computer Science , vol.1 , pp. 125-159
    • Plotkin, G.D.1
  • 22
    • 0033727453 scopus 로고    scopus 로고
    • Continuations: A mathema- tical semantics for handling full jumps
    • Reprint of the technical monograph PRG-11, Oxford University Computing Laboratory (1974)
    • Christopher Strachey and Christopher P. Wadsworth. Continuations: A mathema- tical semantics for handling full jumps. Higher-Order and Symbolic Computation, 13(1/2), 2000. Reprint of the technical monograph PRG-11, Oxford University Computing Laboratory (1974).
    • (2000) Higher-Order and Symbolic Computation , vol.13 , Issue.1-2
    • Strachey, C.1    Wadsworth, C.P.2


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