Automatic program generating system using recursive conversion of a program specification into syntactic tree format and using design knowledge base
US5526522A · kind A · utility
Assignee
Inventor
Key dates
| Filing date | Mar 9, 1992 |
| Grant date | Jun 11, 1996 |
| Priority date | — |
| Expiry date | Mar 9, 2012 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/42
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
This automatic program generation system is a system to generate a target program by recursive conversion of program, which uses a specification input means to input specification and convert it into syntactic tree format and utilizes a design control means to control the conversion of the specification in syntactic tree format and outputs as a program the specification after conversion is repeated until it becomes impossible to further convert it. A design knowledge selection means selects select the design knowledge applied to the partial specification from the design knowledge base comprising accumulated design knowledge containing some program pieces and a relation part to indicate the mutual relation between them. A legitimate check means checks whether the partial specification matches with the applied design knowledge selected by the design knowledge selection means. When they match, it outputs the partial specification and the applied design knowledge, and when they do not match, it gives notice to that effect to the design knowledge selection means. A specification conversion means selects a specification conversion processing based on the partial specification and the app…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.