多段プログラミングとマクロの実用的な統一【JST・京大機械翻訳】

Stucki Nicolas; Biboudis Aggelos; Odersky Martin

文献

J-GLOBAL ID：202002264714389665 整理番号：20A1796958

多段プログラミングとマクロの実用的な統一【JST・京大機械翻訳】

A practical unification of multi-stage programming and macros

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1796958&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (3件)： , ,
資料名：
号： GPCE 2018 ページ： 14-27 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

プログラム生成は不可欠である。2つの既存のメタプログラミング技術:多段プログラミングと衛生的生成マクロの新規な統一を提案した。前者は,実行時間コード生成と実行を,タイプ安全方式で実行して,一方,後者はコンパイルタイムコード生成を提供する。本研究では,Lisp,MetaMLおよびMetaOCamlから出発するメタプログラミングに関する長い研究ラインを描いた。著者らは,レベルカウント相一貫性原理によって一様に制御された,全面,スプライスおよびトップレベルスプライスのための直接サポートを提供した。この設計は,表現とタイプの両方に対するコード値の構築と組合せを可能にする。さらに,コード生成は,ラメタMLまたはコンパイル時間のいずれかで,マクロファッションにおいて,ラマクロMLで起こり得る。Scalaにおける著者らの設計の実施を提供し,2つの事例研究を示した。第1はHidden Markovモデル,HPCに対するShonanチャレンジである。第2は段階的ストリーミングライブラリStrymonasを実装した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (3件)： , ,

計算機システム開発 , 応用プログラミング言語

, ,

前のページに戻る