| Patent application number | Description | Published |
|---|
| 20110099175 | PLUPERFECT HASHING - Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a “pluperfect” hash function. Generally, a pluperfect hash function is a hash function that maps distinct elements in a set S to distinct hash values H with no collisions (i.e., perfect hash function) and also includes an additional constraint that the hash function does not map other elements outside the set S into the set of distinct hash values H. In some example embodiments, pluperfect hash functions are used to implement a multi-way branch statement in a computer programming language. The implementation may include generating hash values for each of the case labels of the branch statement according to a pluperfect hash function. | 04-28-2011 |
| 20110099535 | Encoding Switch on Ordered Universes with Binary Decision Diagrams - Various embodiments herein include one or more of systems, methods, software, and/or data structures to implement a multi-way branch statement in a computer programming language. The multi-way branch statement may include a plurality of case labels each having a non-primitive data type (e.g., strings) and being associated with a block of code to be executed dependent upon a control variable that also has a non-primitive data type. The implementation may include encoding the case labels for the multi-way branch statement as a binary decision diagram (BDD), such as a zero-suppressed binary decision diagram (ZDD), wherein the control variable for the multi-way branch statement may be compared with the case labels by stepping through the BDD. The BDD may include identifiers that provide information regarding which of the case labels is matched by the control variable, such that an appropriate code block may be executed. | 04-28-2011 |
| 20110179402 | METHOD AND SYSTEM FOR COMPILING A DYNAMICALLY-TYPED METHOD INVOCATION IN A STATICALLY-TYPED PROGRAMMING LANGUAGE - A method for compiling source code, involving: obtaining a statement of the source code comprising a method call, where the source code is composed in a statically-typed programming language; determining whether the method call is a dynamic method call; upon determining that the method call is a dynamic method call, compiling a dynamic method invocation without performing type checking on the method call; upon determining that the method call is not a dynamic method call: performing type checking on the method call, selecting a target method to invoke, and compiling a static method invocation to invoke the target method. | 07-21-2011 |
| 20110185344 | CHARACTERIZING ARTIFICIALITY IN OBJECT CODE - One embodiment of the present invention provides a system that characterizes content in object code. During operation, the system receives the source code of a program. The system also receives one or more pieces of object code of the program, or creates one or more pieces of object code from the source code. Next, the system identifies a construct in the object code. The system then determines whether the construct is physically present in the source code. If the construct is not physically present, the system determines whether the construct is logically present in the source code, wherein a construct is logically present if it is required by the programming language. If so, the system sets a construct flag to indicate that the construct is “synthesized.” However, if not, the system sets the construct flag to indicate that the construct is “synthetic.” Finally, the construct flag is made available to a reflective API. | 07-28-2011 |
| 20120005660 | Type Inference of Partially-Specified Parameterized Types - A compiler receives source code for a program and determines that the code includes a declaration expression and an initialization expression in an assignment context. The declaration expression introduces a variable and specifies part of a parameterized type for the variable but not another part of the parameterized type. A parameterized type may include a ground type part and one or more type arguments; in a declaration expression, the specified part of the parameterized type may include a ground type and the unspecified part may include one or more of the type arguments. The initialization expression specifies an initial value for the variable, where the value has a parameterized type. The assignment context associates the declared variable with the initial value. The compiler infers the type for the variable based at least on the part specified in the declaration expression and on the type specified by the initialization expression. | 01-05-2012 |
| Patent application number | Description | Published |
|---|
| 20080255115 | THIAZOLIDINEDIONE DERIVATIVES AS PI3 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using thiazolidinedione derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of thiazolidinedione derivatives. | 10-16-2008 |
| 20090018131 | QUINAZOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinazoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinazoline derivatives. | 01-15-2009 |
| 20090306074 | THIAZOLIDINEDIONE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using thiazolidinedione derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of thiazolidinedione derivatives. | 12-10-2009 |
| 20100152112 | QUINOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinoline derivatives. | 06-17-2010 |
| 20100179144 | QUINAZOLINE DERIVATIVES AS P13 KINASE INHIBITORS - Invented is a method of inhibiting the activity/function of PI3 kinases using quinazoline derivatives. Also invented is a method of treating one or more disease states selected from: autoimmune disorders, inflammatory diseases, cardiovascular diseases, neurodegenerative diseases, allergy, asthma, pancreatitis, multiorgan failure, kidney diseases, platelet aggregation, cancer, sperm motility, transplantation rejection, graft rejection and lung injuries by the administration of quinazoline derivatives. | 07-15-2010 |
