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-04-13

1998-05-26

MacDonald, Allen R.

G06F 1518

Patent

active

057580324

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 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.

REFERENCES:
patent: 4920449 (1990-04-01), Skeirik
patent: 5133045 (1992-07-01), Gaither et al.
patent: 5159687 (1992-10-01), Richburg
patent: 5448740 (1995-09-01), Kiri et al.
patent: 5465221 (1995-11-01), Merat et al.
patent: 5485601 (1996-01-01), Ching
patent: 5493508 (1996-02-01), Dangelo et al.
patent: 5530863 (1996-06-01), Hino
Kawata et al., On a communication software generation method from communication service specifications described by a declarative language, Proocedings ICCI 93, pp. 116-122, May 29, 1993.
Cacace et al., Desining a prototype data intensive applications in the Logres and Algres programming environment, IEEE transactions on software Engineering, pp. 534-546, Jun. 1996.
Nishida et al., Semi-automatic program construction from specifications using library modules, IEEE transactions on software engineering, pp. 853-871, Sep. 1991.

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-1974376