Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 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

スポンサーリンク