×

Terminating polymorphic type inference program analysis

  • US 6,014,518 A
  • Filed: 06/26/1997
  • Issued: 01/11/2000
  • Est. Priority Date: 06/26/1997
  • Status: Expired due to Term
First Claim
Patent Images

1. A method for performing a polymorphic type inference analysis for a program with a data processing system, the program comprising at least one function call, the method comprising the steps of:

  • a) representing parameter values for each function call in the program with separate types; and

    b) modifying the types to comply with typing constraints, wherein the modifying step (b) comprises the steps of;

    i) determining whether a potential non-terminating loop has been entered, andii) if a potential non-terminating loop has been entered, modifying the types such that the types comply with the typing constraints and such that the type inference analysis will terminate.

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