文献

J-GLOBAL ID：200902248146833245   整理番号：08A0570291

遅延型のための不等式システムに基づいた厳密解析アルゴリズム

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types

著者 (1件)： YOKOUCHI Hirofumi (Gunma Univ.)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 4989  ページ： 255-271  発行年： 2008年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 遅延 ,  不等式 ,  解析アルゴリズム