Method and system for automated transformation of declarative language process specifications
US5815713A · kind A · utility
Assignee
Inventor
Key dates
| Filing date | Jun 7, 1995 |
| Grant date | Sep 29, 1998 |
| Priority date | — |
| Expiry date | Jun 7, 2015 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/01
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention transforms a declarative language specification of a problem into a procedural language specification of the problem. The present invention includes a partitioning module (16) for partitioning the problem into a set of sequenced, independent sub-problems in accordance with a set of refinement laws and an implement module (30) for generating procedural language implementations of each of the sub-problems using a set of domain specific heuristics applied by a guaranteed sharing module (22), a selection module (24), a share module (26) and a prune module (28) to a set of options generated by a form option module (20) for each of the sequenced, independent sub-problems in accordance with a given optimization level.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.