Data processing: software development – installation – and managem – Software program development tool – Programming language
Reexamination Certificate
2007-01-23
2007-01-23
Nguyen-Ba, Antony (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Programming language
C717S114000, C717S148000, C717S140000
Reexamination Certificate
active
10458460
ABSTRACT:
The present invention relates to systems and methods that facilitate dynamic programming language execution in a managed code environment. A class component is provided that declares an inheritance hierarchy for one or more tagged values associated with a dynamic programming language. During execution of the tagged values, a rules component mitigates user-defined types from inheriting or deriving properties from the tagged values in order to support a type safe runtime environment. A bifurcated class tree is provided that defines non-tagged type elements on one side of the tree and tagged type element values on an alternate branch of the tree. The rules component analyzes runtime extensions that help to prevent data from one component of the tree deriving or inheriting properties from another component of the tree. The runtime extensions include such aspects as cast class extensions, test class extensions, and conversion class extensions for converting data types from one class subtype to another.
REFERENCES:
http://www.adaic.org/standards/951rm/html/RM-3-9.html last viewed on Sep. 22, 2003, 3 pages.
Pedro De Las Heras Quiros, Francisco J. Ballesteros Camara, Jose Centeno Gonzalez and Jesus M. Gonzalez Barahona, Toward Protected Tagged Types in Ada 95, Department of Computer Science Carlos III University, Nov. 20, 1995, 9 pages.
Erik Meijer and Jim Miller, “Technical Overview of the Common Language Runtime (or why the JVM is not my favorite execution environment)”, Jun. 8, 2001, 16 pages.
Yutaka Oiwa, Kenjiro Taura and Akinori Yonezawa, “Extending Java Virtual Machine with Interger-Refernce Conversion”, University of Tokyo, 2000, 16 pages.
Olin Shins, “Supporting dynamic languages on the Java virtual machine”, MIT Artificial Intelligence Laboratory, 1996, 9 pages.
G. Milasinovic. European Search Report. Munich. Apr. 1, 2005, 1 pg.
Yutaka Oiwa, et al. Extending Java Virtual Machine with Integer-Reference Conversion. vol. 12, No. 6, May 2000. pp. 407-422. University of Tokyo. web.yl.is.s.u-tokyo.ac.jp/pub/papers/oiwa-cpe2000-javaext.ps.gz. Retrieved on Oct. 28, 2004.
Olin Shivers. Supporting dynamic languages on the Java virtual machine. MIT Artificial Intelligence Laboratory. Apr. 25, 1996. http://www.ai.mit.edu/people/shivers/javaScheme.html. Retrieved on Oct. 28, 2004.
Oiwa Yutaka. Publications. vol. 12, No. 6. pp. 407-422. http://www.taplas.org/{oiwa/publications.html. Retrieved on Oct. 28, 2004.
Amin & Turocy LLP
Nguyen-Ba Antony
LandOfFree
Systems and methods for employing tagged types in a dynamic... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems and methods for employing tagged types in a dynamic..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for employing tagged types in a dynamic... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3736112