发明名称 AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION
摘要
申请公布号 KR101086082(B1) 申请公布日期 2011.11.25
申请号 KR20057025045 申请日期 2004.05.21
申请人 发明人
分类号 G06F9/45;G06F 主分类号 G06F9/45
代理机构 代理人
主权项
地址