文献

J-GLOBAL ID：202202230519219740   整理番号：22A0921265

発生タイピングの再検討【JST・京大機械翻訳】

Revisiting occurrence typing

著者 (4件)： Castagna Giuseppe (Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France) ,  Lanvin Victor (Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France) ,  Laurent Mickaeel (Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France) ,  Nguyen Kim (Laboratoire de Methodes Formelles (LMF), CNRS - Universite Paris-Saclay, France)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 217  ページ： Null  発行年： 2022年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： タイプケースで発生する変数のタイプを精密化し,従って,非タイプ言語で使用されるいくつかのプログラミングパターンを捕捉するための技法である,発生タイピングを再考した。発生タイピングは,その開始から集合理論的タイプ-タイプタイプに結びついているが,特に,これらのタイプの能力を完全に利用しなかった。ここでは,集合理論的タイプを用いて,現在の発生タイピング提案のいくつかの側面を包含し,一般化する一般的タイピングフレームワークを開発し,非注釈または部分注釈関数に対する交差型の再構成や,徐々にタイプ化された言語の編集の最適化のような他の問題に取り組むために適用できることを示した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  集合論 ,  言語 ,  再構成 ,  精密化 ,  型推論 ,  *アノテーション
準シソーラス用語： タイピング , 【Automatic Indexing@JST】

著者キーワード (5件)： ユニオンタイプ ,  交差型 ,  タイプ推論 ,  動的言語 ,  タイプケース

分類 (5件)： 入出力装置  (JC04050U) ,  数理言語学  (JB05000V) ,  計算機システム開発  (JD02010R) ,  移動通信  (ND08030H) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (1件)： タイピング