Invention Grant
- Patent Title: Description processing device, description processing method, and recording medium
- Patent Title (中): 描述处理装置,描述处理方法和记录介质
-
Application No.: US12413138Application Date: 2009-03-27
-
Publication No.: US08375376B2Publication Date: 2013-02-12
- Inventor: Kazutoshi Wakabayashi
- Applicant: Kazutoshi Wakabayashi
- Applicant Address: JP Tokyo
- Assignee: NEC Corporation
- Current Assignee: NEC Corporation
- Current Assignee Address: JP Tokyo
- Priority: JP2008-092209 20080331
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F17/50

Abstract:
A description processing device has: a receiving unit which receives a behavior level description; a label-name generating unit which generates a label name; a label disposing unit which disposes a top label statement; an extracting unit which extracts an extracted label statement, a variable-name generating unit which generates a variable name; a replacing unit which replaces a statement immediately below the top label statement to the extracted label statement by a column of a conditional executable statement and an operation/assignment statement and replaces a jump statement for jumping to the extracted label statement by a column of an operation/assignment statement and a jump statement for jumping to the top label; a control unit which repeats the extraction, the generation of a new variable name, and the replacement; an inserting unit which inserts an operation/assignment statement; and an output unit which outputs the behavior level description.
Public/Granted literature
- US20090248386A1 DESCRIPTION PROCESSING DEVICE, DESCRIPTION PROCESSING METHOD, AND RECORDING MEDIUM Public/Granted day:2009-10-01
Information query