文献

J-GLOBAL ID：202002270996988013   整理番号：20A0855286

マクロSとしての依存型システム【JST・京大機械翻訳】

Dependent type systems as macros

著者 (4件)： Chang Stephen (Northeastern University, USA / PLT Group, USA) ,  Ballantyne Michael (Northeastern University, USA / PLT Group, USA) ,  Turner Milo (Northeastern University, USA) ,  Bowman William J. (University of British Columbia, Canada)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 4  号： POPL  ページ： 1-29  発行年： 2019年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,従属型言語を構築するための高レベル,マクロベースのメタDSL,Turnstille+を提示した。それによって,プログラマは,新しい依存型の特徴と拡張の設計に関して,急速にプロトタイプして,反復することができた。また,それらに依存するタイプの電力を特定のドメインに調整する完全に新しいDSLを生成することができる。これにより,相互作用成分のシステム,すなわち,サイズタイプやSMT相互作用などの特徴に対して,完全なスペクトル証明支援,完全スペクトル証明支援を実現することが可能となることを示した。この方法を説明した。。この方法を用いて,完全なスペクトル証明支援を行った。その結果を説明した。。これらの結果を説明した。この方法を用いることにより,その有効性を示した。。これらの結果を説明した。この方法を用いることにより,完全なスペクトル証明支援を実現した。この方法を説明した。。この方法は,サイズタイプやSMT相互作用のような特徴に対する拡張を可能にした。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】

著者キーワード (4件)： 依存型 ,  マクロ ,  アシスタントの証明 ,  タイプシステム

分類 (2件)： 人間機械系  (IB03000G) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： マクロ ,  依存型