×

Method and system for automated transformation of declarative language process specifications

  • US 5,815,713 A
  • Filed: 06/07/1995
  • Issued: 09/29/1998
  • Est. Priority Date: 04/13/1995
  • Status: Expired due to Term
First Claim
Patent Images

1. An automated method of transforming a declarative language specification of a problem into a procedural language specification of said problem using a computer, said computer including a memory, comprising the steps of:

  • applying a plurality of refinement laws and domain specific heuristics to said declarative language specification to generate a plurality of procedural language implementations in accordance with a given optimization level;

    determining a cost associated with each of said plurality of procedural language implementations; and

    selecting a portion of said plurality of procedural language implementations to form said procedural language specification of said problem in accordance with said cost.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×