metatheoretic - Weblio 英和・和英辞典 (original) (raw)

単語を追加

× この辞書を今後表示しない

※辞書の非表示は、設定画面から変更可能

metatheoretic

出典:『Wiktionary』 (2017/01/23 15:30 UTC 版)

形容詞

metatheoretic ‎(not comparable)

1. Alternative form of metatheoretical
   • 2015, Tiark Rompf, Nada Amin, “From F to DOT: Type Soundness Proofs with Definitional Interpreters”, in arXiv[1]:
     Unfortunately, type soundness has only been established for a very restricted subset of DOT (muDOT), and it has been shown that adding important Scala features such as type refinement or extending subtyping to a lattice breaks at least one key metatheoretic property such as narrowing or subtyping transitivity, which are usually required for a type soundness proof. The first main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a richer DOT calculus that includes both type refinement and a subtyping lattice with intersection types can still be proved sound.

metatheoreticのページの著作権
英和・和英辞典 情報提供元は参加元一覧 にて確認できます。

| ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 | | | ------------------------------------------- | |