Christopher W Burrows

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:

20100299660, Nov 25, 2010

Filed:

May 21, 2009

Appl. No.:

12/469696

Inventors:

Mads Torgersen - Issaquah WA, US
Anders Hejlsberg - Seattle WA, US
James J. Hugunin - Mercer Island WA, US
Matthew J. Warren - Redmond WA, US
Neal Gafter - San Jose CA, US
Lucian Jules Wischik - Seattle WA, US
Robert Eric Lippert - Seattle WA, US
Samuel Y. Ng - Bellevue WA, US
Christopher Joseph Burrows - Seattle WA, US
Alex C. Turner - Bellevue WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/45
G06F 9/44

US Classification:

717148, 719332

Abstract:

A static type, called “dynamic”, is introduced into a statically bound programming language. An expression or subexpression that is defined as a static type called “dynamic” in the source code of a program written in the statically bound programming language, is bound based on its runtime type instead of on its compile time type. Binding can be performed based on a mixture of compile time and runtime types that are based on the specification of types of expressions in source code. This type of binding is called hybrid binding. Operations are bound using the runtime type of constituent expressions (i.e., the runtime type of a receiver, an argument, or an operand) typed as dynamic and the compile time type of static constituents. If any constituent expression of an operation is dynamic, binding occurs at runtime instead of at compile time.