Microsoft Technology Licensing, LLC

Lisa Feigenbaum

Henricus Johannes Maria Meijer

Avner Y Aharoni

David N Schach

Paul Allen Vick, Jr

Andrew Eyring Kimball

Timothy Yat Tim Ng

Calvin Hsia

Ghanashyam Chandrasekhar Namboodiripad

Olivier Michel Destrebecq

Joseph Tyler Whitney

Sravani Kothapalle

Vladimir G Sadov

Abel Valadez Martinez

Ernest Tong

Sophia Salim

Jay Schmelzer

Jonathan Paul Aneja

In a data entry environment constrained by a symbolic grammar, a data entry position in the data set may be amenable to the insertion of a subset of symbols in compliance with the grammar. Also, the grammar may or may not permit the insertion of a value of one or more types at the data entry position of the data set. In order to facilitate grammatically correct data entry, a symbol list may be presented that indicates the grammatically valid symbols for the symbolic context of the data entry position, as well as the validity of the insertion of a value at the data entry position. The symbol list may also permit the selection of a symbol list option, and may insert the selected symbol or value at the data entry position. Various symbol list option selection inputs may be associated with the symbol list options to facilitate and economize data entry, and the association may be adapted based on whether or not a value is permitted at the data entry position. Several variations of these techniques are discussed relating to the use of symbol lists in various data entry and grammar scenarios, the presentation of the symbol lists, and the user interaction with the symbol lists.

Symbol lists for grammar-driven data entry

When a user enters text into an application, the application can utilize an auto-complete feature to provide the user with estimations as to a complete term a user is attempting to enter into the application. Visualization can be provided along with an estimation to disclose the likelihood the estimation is what the user intends to enter. Furthermore, a rationale can be provided to the user for the reason an estimation was provided to the user.

Visualization techniques for imprecise statement completion

Modified compilers and other development tools provide implied line continuation within a sequence of syntax tokens of a programming language grammar which includes multiple semantic contexts and which uses line termination as presumptive statement termination. When source code parsing encounters a line terminator adjacent a context-dependent implicit line continuation token in an associated semantic context, an explicit decision is made whether to imply line continuation. Line continuation may also be implied in response to other specified tokens.

Implicit line continuation

Growing community of inventors

Bellevue, WA, United States of America

Lisa Feigenbaum