Invention Grant
- Patent Title: Generation of source code and executable code from formal descriptions
- Patent Title (中): 从正式描述生成源代码和可执行代码
-
Application No.: US13458408Application Date: 2012-04-27
-
Publication No.: US09038036B2Publication Date: 2015-05-19
- Inventor: Wolfgang Gellerich , Andreas Krebbel
- Applicant: Wolfgang Gellerich , Andreas Krebbel
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Cantor Colburn LLP
- Agent Steven Bennett
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44
Abstract:
A method of generating an executable that operates as a compiler includes: receiving a unified input description containing syntax rules for both regular and context-free expressions and interspersed code; generating a common internal representation from the unified input description; checking regular expressions in the common internal representation; checking context-free expressions in the common representation; checking the interspersed code; and outputting the executable.
Public/Granted literature
- US20120216178A1 COMPILER GENERATOR Public/Granted day:2012-08-23
Information query
