The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 24, 2009
Filed:
Dec. 03, 2004
Paul J. Lucas, Mountain View, CA (US);
Daniela D. Florescu, Palo Alto, CA (US);
Fabio Riccardi, Palo Alto, CA (US);
Paul J. Lucas, Mountain View, CA (US);
Daniela D. Florescu, Palo Alto, CA (US);
Fabio Riccardi, Palo Alto, CA (US);
Bea Systems, Inc., Redwood Shores, CA (US);
Abstract
The invention provides systems and methods for implementation of a computer language type system by augmenting finite state automata algorithms to accommodate symbols having both subtype relationships and nested types. To make the classical automata algorithms work for type system with subtypes, finite state automata for a data type is augmented by additional transitions that include secondary symbols, wherein secondary symbols are subtypes of symbols of alphabet of finite state automata. A data type when compared to another data type must compare both names and the contents.