发明名称 |
Description rewriting device, design description rewriting method, and computer readable medium |
摘要 |
There is provided with a device that includes a first inputter inputting design description which includes functions; a second inputter inputting type specifying description corresponding to the functions, each of which specifies a type for a return value of each corresponding function, and the description of at least one function of the functions specifies a type for a return value of a first function which is an other function of functions; a determiner determining a type of the return value of the first function to a comprehensive type to comprehend the types specified by the type specifying description corresponding to the first function and the at least one function and a type of the return value of a second function which is a function than the first function to the type specified thereto.
|
申请公布号 |
US8527919(B2) |
申请公布日期 |
2013.09.03 |
申请号 |
US20090554351 |
申请日期 |
2009.09.04 |
申请人 |
ENDOH YUSUKE;KABUSHIKI KAISHA TOSHIBA |
发明人 |
ENDOH YUSUKE |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|