Abstract: Method of analysis text message syntactically and by content, which entails: step 1; Split syntaxes (made available to subscribers by the network operator) into tokens to store in a Syntax Trie; step 2. Pre-process an incoming text from a subscriber; step 3. Split the text (pre-processed in Step 2) into tokens; step 4. Look up paths that include the tokens (obtained in Step 3) in the Syntax Trie (initialized in Step 1); step 5: Return the look-up result, which is the path in the Syntax Trie that best reflects the user intent.

Abstract: A method for employing item-level financing offers in relation to extension of a loan to a user for an online cart including multiple items may include receiving information identifying a first item in the online cart and receiving information identifying a second item in the online cart. The method may further include performing a first credit extension decision with respect to the first item, performing a second credit extension decision with respect to the second item, and providing, based on the first and second credit extension decisions, a financing offer to the user with respect to financing a transaction including both the first and second items. The financing offer includes item-level information regarding details of the first and second credit extension decisions.

Abstract: A source code equivalence verification device performs symbolic execution on both an original source code and a modified version of the original source code; generates, using the results of the symbolic execution, equivalence verification expressions for verifying equivalence between the original source code and the modified source code; and verifies the equivalence verification expressions. A correction candidate generation unit generates a correction candidate, on the basis of which the modified source code is to be corrected so as to be equivalent to the original source code, if the results of the verification of the equivalence verification expressions indicate that the modified source code is not equivalent to the original source code; and a verification result generation unit generates a verification result report using the results of the verification and the correction candidate generated by the correction candidate generation unit.