Mads Torgersen

US Patent:

7860823, Dec 28, 2010

Filed:

Aug 16, 2006

Appl. No.:

11/464874

Inventors:

Anders Hejlsberg - Seattle WA, US
Matthew J. Warren - Redmond WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Dinesh C. Kulkarni - Sammamish WA, US
Mads Torgersen - Bellevue WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 7/00

US Classification:

707603, 707805

Abstract:

The claimed subject matter provides a system and/or a method that facilitates querying data utilizing an explicit representation of an embedded language. An IEnumberable component can receive a data operation that can be employed on a collection of data utilizing at least one of an IEnumerable interface and an IEnumerable interface. A mirror component can provide a generic interface to query the collection of data by representing the collection of data as an expression tree utilizing at least one function that mirrors the at least one IEnumerable interface and the IEnumerable interface.

US Patent:

7873592, Jan 18, 2011

Filed:

Apr 20, 2007

Appl. No.:

11/737892

Inventors:

Henricus Johannes Maria Meijer - Mercer Island WA, US
Gavin Bierman - Cambrige, GB
Mads Torgersen - Issaquah WA, US
Anders Hejlsberg - Seattle WA, US
Danny Van Velzen - Redmond WA, US
Peter A. Hallam - Seattle WA, US
Robert Eric Lippert - Seattle WA, US
Matthew J. Warren - Redmond WA, US
Paul A. Vick - Seattle WA, US
Amanda Silver - Seattle WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/44
G06N 7/02
G06N 7/06

US Classification:

706 52

Abstract:

Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.

US Patent:

7890939, Feb 15, 2011

Filed:

Feb 13, 2007

Appl. No.:

11/674333

Inventors:

Dinesh C. Kulkarni - Sammamish WA, US
Mads Torgersen - Issaquah WA, US
Henricus Johannes Maria Meijer - Mercer Island WA, US
Anders Hejlsberg - Seattle WA, US
Matthew J. Warren - Redmond WA, US
Peter A. Hallam - Seattle WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/45

US Classification:

717143, 717152

Abstract:

Partial methods enable separation of method declaration and/or calls from method implementation. A partial method specifies a signature of a join or hook point in a class. Calls to a partial method specify a join or hook point in code that can optionally be linked with an actual method implementation of the same signature. Separate method implementations or other code related to a partial method are injected into a single program prior to execution. Unimplemented partial methods are treated as no operation instructions or otherwise ignored.

US Patent:

7899840, Mar 1, 2011

Filed:

Mar 29, 2007

Appl. No.:

11/693136

Inventors:

Henricus Johannes Maria Meijer - Mercer Island WA, US
Anders Hejlsberg - Seattle WA, US
Dinesh Chandrakant Kulkarni - Sammamish WA, US
Matthew J. Warren - Redmond WA, US
Mads Torgersen - Issaquah WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 7/00
G06F 17/30

US Classification:

707769, 707774, 707722

Abstract:

A group join query facilitates navigation of relationships (e. g. , one-to-many or many-to-one) across a plurality of data collections. Such a query operator produces nested or hierarchical results that capture the arguments passed thereto. If desired, the nested results can be flattened to simulate conventional relational database results.

US Patent:

8060868, Nov 15, 2011

Filed:

Jun 21, 2007

Appl. No.:

11/766514

Inventors:

Henricus Johannes Maria Meijer - Mercer Island WA, US
Anders Hejlsberg - Seattle WA, US
Mads Torgersen - Issaquah WA, US
Peter A. Hallam - Seattle WA, US
Matthew J. Warren - Redmond WA, US
Dinesh C. Kulkarni - Sammamish WA, US
Clemens Alden Szyperski - Redmond WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/45
G06F 9/44

US Classification:

717141, 717140, 717114, 717116

Abstract:

Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.

US Patent:

8245210, Aug 14, 2012

Filed:

May 22, 2009

Appl. No.:

12/470746

Inventors:

Samuel Ng - Bellevue WA, US
Mads Torgersen - Issaquah WA, US
Martin Maly - Seattle WA, US
Christopher Joseph Burrows - Seattle WA, US
James Hugunin - Mercer Island WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/45

US Classification:

717153, 717140, 717151, 717152

Abstract:

Compile-time context information is captured and provided to a runtime binder for dynamic features in programming languages. For example, a C# run-time binder uses the information to perform a run-time bind with semantics matching the compiler's binding behavior. Dynamic programming language features supported relate to compound operations, events, delegates, member accessibility, dynamic-typed objects, structs passed by ref, arguments passed by name rather than position, extension methods, conditionally compiled methods, literal arguments, overflow checking, dynamic indexed properties, dynamic method groups, and static method groups.

US Patent:

8364750, Jan 29, 2013

Filed:

Jun 24, 2008

Appl. No.:

12/144634

Inventors:

Luca Bolognese - Redmond WA, US
Lucas James Hoban - Seattle WA, US
Erik Meijer - Mercer Island WA, US
Anders Hejlsberg - Seattle WA, US
Matthew J. Warren - Redmond WA, US
Dinesh Chandrakant Kulkarni - Sammamish WA, US
Mads Torgersen - Seattle WA, US
John W. Dyer - Monroe WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 15/16

US Classification:

709203, 707999101, 717136

Abstract:

The utilization of data services (such as web services) may involve the invocation of services, which may reduce performance and overburden the server. In some scenarios, the invocation may be specified in a language that does not support batch invocation, but it may not be feasible to re-code the invocations in a language that supports batching. Instead, the service invocations may be automatically translated into a batch logic specified in a batch-capable language and sent to the service as a batch. For example, a local proxy may receive a language-integrated query having two or more service invocations, compile the query into an expression tree including the two or more invocations, and send the expression tree to the service host to achieve the batch processing of the service invocations.

US Patent:

8490115, Jul 16, 2013

Filed:

Oct 20, 2011

Appl. No.:

13/277762

Inventors:

Mads Torgersen - Issaquah WA, US
Stephen H. Toub - Seattle WA, US
Eric L. Eilebrecht - Woodinville WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 13/00

US Classification:

719320

Abstract:

A method of providing asynchronous programming support at run time for scope-based ambient state at a method call is disclosed. In response to the method call, an asynchronous method stack frame is created along with ambient state for the asynchronous method call. In one example of the method, a current frame of a method stack is captured. A new frame is instantiated by setting a previous reference of the new frame to the current frame and moving data from the previous frame into the current frame. One example of instantiating the new frame includes pushing the current frame onto the stack. In another example, the new frame is lazily created when changes have been made. A state machine used to transform the synchronously-created method into an asynchronous method is moved from a current state to a next state. The captured frame is restored.