Sterling Software, Inc.

Paul Sanders

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.

Method and system for automated transformation of declarative language

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 a selected portion of the sub-problems as determined 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.

Growing community of inventors

Surbiton, United Kingdom

Paul Sanders