Separate Compilation of Type-parameterized Modules

スポンサーリンク

概要

• 論文の詳細を見る

• An implementation technique is presented for separate compilation of type-parameterized modules with constraints on permissible actual types. This technique provides a simple and straightforward way to achieve dynamic type-parameter binding at run-time without loss of execution efficiency.

• 一般社団法人情報処理学会の論文
• 1982-09-14

著者

• Yuasa Taiichi

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• A Structural Approach to Pointer Data Types
• Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)
• Separate Compilation of Type-parameterized Modules

スポンサーリンク