English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 49378/84106 (59%)
造訪人次 : 7364269      線上人數 : 73
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45379

    題名: A continuation-based language embedded in scheme
    作者: 王慶林;Wang, Ching-lin
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: Continuations;Embeddings;Programming-language concepts;Scheme
    日期: 1992
    上傳時間: 2010-03-26 19:11:40 (UTC+8)
    出版者: Elsevier
    摘要: We show that lambda abstractions can be transformed into continuations with several interesting characteristics:

    • Continuations could serve as the basis of a Scheme-like language, called Scheme-λ1.

    • The transformation is analogous to the continuation-passing style transformation.

    • Several programming-language concepts emerge as results of the transformation.

    • Everything that can be represented as a lambda abstraction can now be represented as a continuation.

    • The transformation is simple and sound.
    Our work would not be complete if the macro facility were not taken into account. Thus, we show how to embed Scheme-λ1 in Scheme so as to accommodate the macro facility.
    關聯: Computer languages 17(1), pp.19-37
    DOI: 10.1016/0096-0551(92)90020-N
    顯示於類別:[資訊工程學系暨研究所] 期刊論文





    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋