Pattern types as constraints on generic type parameters

Details Pattern types as constraints on generic type parameters Pattern types as constraints on generic type parameters

2004-08-24

2010-02-02

Yigdall, Michael J (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S114000, C714S724000

Reexamination Certificate

active

07657874

ABSTRACT:
A system and method for constraining generic types is disclosed. In brief, the subject invention provides a pattern type for defining a set of one or more parameter constraints. Rather than being confined to a predetermined set of hard-coded constraints in an execution engine, a pattern type can be specified as an extensible constraint mechanism for generic type parameters. According to one aspect of the invention, the pattern type can manifest itself as a class including one or more properties and/or features. The shape of the pattern type can then be compared or matched to instantiated type parameters to determine constraint satisfaction.

REFERENCES:
patent: 5983020 (1999-11-01), Sweeney et al.
patent: 6014518 (2000-01-01), Steensgaard
patent: 6230314 (2001-05-01), Sweeney et al.
patent: 6381736 (2002-04-01), Klotz et al.
patent: 6918107 (2005-07-01), Lucas et al.
patent: 7086041 (2006-08-01), Plesko et al.
patent: 7284242 (2007-10-01), Vion-Dury
patent: 2002/0112098 (2002-08-01), Halstead et al.
patent: 2003/0188295 (2003-10-01), Adl-Tabatabai et al.
Rowan Davies and Frank Pfenning, Intersection Types and Computational Effects, Year of Publication 2000, ACM, pp. 198-208.
Ping Gao and Robert Esser, Polymorphic CSP Type Checking, Year of Publication 2001, IEEE Computer Society, pp. 156-162.
R. Rodosek, M.G. Wallace, and T. Hajian. A New Approach to Integrate Mixed Integer Programming. CP96 Workshop on Constraint Programming Applications: An Inventory and Taxonomy, 1996. 10 pages.
V. Choppella and C.T. Haynes. Diagnosis of III-typed Programs. Technical Report 426, Indiana University, 1995. 10 pages.
B. Demoen, M. Garcia De La Banda, and P.J. Stuckey. Type Constraint Solving for Parametric and Ad-hoc Polymorphism. In Proc. of the 22nd Australian Computer Science Conference, pp. 217-228, 1999.
V. Simonet. An Extension of HM(X) with Bounded Existential and Universal Data-types. Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, pp. 39-50, 2003.

Affiliated with

Also associated with

Rating

Pattern types as constraints on generic type parameters does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Pattern types as constraints on generic type parameters, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Pattern types as constraints on generic type parameters will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4154948