摘要 |
PROBLEM TO BE SOLVED: To modify stored program data which is incompatible with the specifications into an adapted program to be output, and enhance the program through the use thereof. SOLUTION: The database includes: a Hoare logic rule storage means storing in advance a rule of Hoare logic according to a language element of a program; a specification decomposition means decomposing the specification into specifications of partial programs according to each rule of Hoare logic when an adapted program code is not stored; a specification structure storage means storing the rule used for the decomposition and an accompanying parameter in the form of stacks; a program composition means using the specification (a partial specification) obtained by the decomposition as a new retrieval key in retrieval, sequentially assembling obtained codes such that the undecomposed specification is satisfied, and preparing and outputting a composite code adapted to the initial retrieval key; and a program registration means adding the composite code to the stored data. COPYRIGHT: (C)2011,JPO&INPIT
|