Jonathan P Aneja

20080320453, Dec 25, 2008

Jun 21, 2007

11/766345

Henricus Johannes Maria Meijer - Mercer Island WA, US
Amanda Silver - Seattle WA, US
Paul A. Vick - Seattle WA, US
Jonathan Paul Aneja - Kirkland WA, US
Timothy Yat Tim Ng - Bellevue WA, US
John J. Rivard - Redmond WA, US

MICROSOFT CORPORATION - Redmond WA

G06F 9/45

717140

A type inference option is available for a computer programming language. The option acts as a switch to specify whether or not type inference is applicable (e.g., on or off). Type inference can be employed in conjunction with late binding or options therefor. In this manner, a computer program can be developed with the convenience of type inference and the flexibility of late binding while still maintaining at a degree of type safety.

20100218173, Aug 26, 2010

Feb 24, 2009

12/391299

Avner Aharoni - Seattle WA, US
Timothy Yat Tim Ng - Bellevue WA, US
David N. Schach - Redmond WA, US
Lisa Feigenbaum - Bellevue WA, US
Sophia Salim - Bothell WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Jonathan Paul Aneja - Kirkland WA, US
Joseph Tyler Whitney - Kirkland WA, US

MICROSOFT CORPORATION - Redmond WA

G06F 9/45

717143

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.