monomorphisation

noun

(computer science) In a compiler, the process of converting a polymorphic function to a monomorphic function, by the creation of a specialised function for each different data type it is called with.

Monomorphisation is an important optimization technique in compiler design.

Google翻訳 / DeepL翻訳

詳細

意味（1）

(computer science) In a compiler, the process of converting a polymorphic function to a monomorphic function, by the creation of a specialised function for each different data type it is called with.

We describe the formal verification stages of the compiler, which include automated formal refinement calculi, a switch from imperative update semantics to functional value semantics formally justified by the linear type system, and a number of standard compiler phases such as type checking and monomorphisation.

Google翻訳 / DeepL翻訳

詳細

monomorphisation

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

monomorphisation

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！