Method and system for automated transformation of declarative la

Details Method and system for automated transformation of declarative la Method and system for automated transformation of declarative la

1995-06-07

1998-09-29

Voeltz, Emanuel Todd

395707, G06F 945

Patent

active

058157131

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.

REFERENCES:
patent: 5084876 (1992-01-01), Welham et al.
patent: 5212791 (1993-05-01), Damian et al.
patent: 5301317 (1994-04-01), Lohman et al.
patent: 5442792 (1995-08-01), Chun
patent: 5448740 (1995-09-01), Kiri et al.
patent: 5487135 (1996-01-01), Freeman
patent: 5557788 (1996-09-01), Inoue
Cohen, Donald, "Automatic Compilation of Logical Specifications into Efficient Programs," Science, ???, pp. 20-25.
Feather, Martin S., "A Survey and Classification of some Program Transformation Approaches and Techniques," in IFIP 87 Congress, North Holland, 1987.
Sanders, P., Short, K., "Declarative Analysis in Information Engineering," appeared in Case -Current Practice, Future Prospects, (Edited by Kathy Spurr and Paul Layzell), Wiley Press, 1992.
Morgan, C., Robinson, K., "Specification Statements and Refinement", IBM Journal of Research and Development, vol. 31, No. 5, Sep. 1987, pp. 546-555.
Van Melle, William J., "The Rule Compiler", System Aids in Constructing Consultation Programs, UMI Research Press, 1981, pp. 83-110.

Affiliated with

Also associated with

Rating

Method and system for automated transformation of declarative la does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for automated transformation of declarative la, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for automated transformation of declarative la will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-696120