Method and system for automated transformation of declarative language process specifications

摘要

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 in accordance with a set of refinement laws and an implement module (30) for generating a procedural language implementations of the problem using a set of domain specific heuristics applied by a guaranteed sharing module (22), a selection module (24), a share module (26) a prune module (28), and a form option module (20) in accordance with a given optimization level and an associated cost.