Invention Grant
US08375376B2 Description processing device, description processing method, and recording medium 有权
描述处理装置,描述处理方法和记录介质

  • Patent Title: Description processing device, description processing method, and recording medium
  • Patent Title (中): 描述处理装置,描述处理方法和记录介质
  • Application No.: US12413138
    Application Date: 2009-03-27
  • Publication No.: US08375376B2
    Publication 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
Description processing device, description processing method, and recording medium
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.
Information query
Patent Agency Ranking
0/0