文献

J-GLOBAL ID：201802222656798310   整理番号：18A0135383

コールアリティ【Powered by NICT】

Call Arity

著者 (1件)： Breitner Joachim (University of Pennsylvania, 3330 Walnut Street Philadelphia, PA 19104, USA)
資料名： Computer Languages, Systems and Structures  (Computer Languages, Systems and Structures)
巻： 52  ページ： 65-91  発行年： 2018年 
JST資料番号： A1222A  ISSN： 1477-8424  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： いくつかの関数の定義したη拡大かどうか関数型プログラミング言語における高次コンビネータはかなりより効率的であることをコードにつながる可能性がある。以前の分析を可能にするのに十分に正確とは限らなかった。特に,これはリスト融合に関与する効率的からfoldlを妨げてきた。コールアリティは,如何にそれらが使用されるかに応じて機能をη拡大することが解析である。Coコールグラフの概念に基づく新しい濃度分析を用いてのおかげで,再帰の存在下でも十分に正確で,HaskellコンパイラGHCにおけるその包接はfoldlベースコンビネータの融合を可能にした。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *関数プログラミング ,  言語 ,  コンパイラ
準シソーラス用語： Haskell ,  コンビネータ , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)