Layered type systems

Details Layered type systems Layered type systems

2005-08-11

2010-06-01

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Code generation

C717S107000, C717S108000, C717S109000, C717S140000, C717S144000, C717S143000

Reexamination Certificate

active

07730448

ABSTRACT:
The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.

REFERENCES:
patent: 5696974 (1997-12-01), Agrawal et al.
patent: 5748961 (1998-05-01), Hanna et al.
patent: 6018628 (2000-01-01), Stoutamire
patent: 6237135 (2001-05-01), Timbol
patent: 6560774 (2003-05-01), Gordon et al.
patent: 7051322 (2006-05-01), Rioux
patent: 7389498 (2008-06-01), Meijer et al.
patent: 2006/0130038 (2006-06-01), Claussen et al.
Wright, et al. “A Practical Soft Type System for Scheme”, 1994, ACM, p. 250-262.
Panizzi, et al. “On the Return Types of Virtual Functions”, 1999, ACM, p. 37-42.

Affiliated with

Also associated with

Rating

Layered type systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Layered type systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Layered type systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4237211