1
Henricus Johannes Maria Meijer, Anders Hejlsberg, Mads Torgersen, Peter A Hallam, Matthew J Warren, Dinesh C Kulkarni, Clemens Alden Szyperski: Fully capturing outer variables as data objects. Microsoft Corporation, Workman Nydegger, November 15, 2011: US08060868 (28 worldwide citation)

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 su ...


2
Jennifer A Hamilton, Michael M Magruder, James H Hogg, William G Evans, Vance P Morrison, Lawrence B Sullivan, Sean E Trowbridge, Jason L Zander, Ian H Carmichael, Patrick H Dussud, John L Hamby, John J Rivard, Li Zhang, Mario Chenier, Douglas Rosen, Steven J Steiner, Peter A Hallam, Brian R Crawford, James S Miller, Sam Spencer, Habib Heydarian: Method and system for program editing and debugging in a common language runtime environment. Microsoft Corporation, Amin Turocy & Calvin, April 7, 2009: US07516441 (13 worldwide citation)

A system and method of providing edit and continue support in a software program debugging environment. “Edit and continue” support allows a user (e.g., programmer and/or developer) to update the code and/or data structure(s) of an executing program while it is running. After the user has finished e ...


3
Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew J Warren, Dinesh Chandrakant Kulkarni, Luca Bolognese, Peter A Hallam, Gary S Katzenberger, Donald Box: Compiler supporting programs as data objects. Microsoft Corporation, Wolf Greenfield & Sacks P C, August 2, 2011: US07992140 (10 worldwide citation)

A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that ap ...


4
Henricus Johannes Maria Meijer, Anders Hejlsberg, Dinesh Chandrakant Kulkarni, Luca Bolognese, Matthew J Warren, Peter A Hallam: Retrieving and persisting objects from/to relational databases. Microsoft Corporation, Workman Nydegger, April 20, 2010: US07702686 (7 worldwide citation)

Systems and methods that enable consistent navigation (for a database and memory environment) in object relational mapping. This typically ensures fidelity of object graph via restrictions on collections of persistent objects (e.g., entity sets, entity refs . . . ). Moreover, a tracking component ca ...


5
Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew J Warren, Luca Bolognese, Peter A Hallam, Gary S Katzenberger, Dinesh C Kulkarni: Extending expression-based syntax for creating object instances. Microsoft Corporation, Workman Nydegger, October 19, 2010: US07818719 (6 worldwide citation)

Syntax for creating object instances utilizing expressions instead of statements. A syntax component facilitates extension of conventional object-creation-expression syntax. An initializer component provides for initialization of a newly-created entity via object and collection initializers. The ini ...


6
Henricus Johannes Maria Meijer, Gavin Bierman, Mads Torgersen, Anders Hejlsberg, Danny Van Velzen, Peter A Hallam, Robert Eric Lippert, Matthew J Warren, Paul A Vick, Amanda Silver: Type inference for object-oriented languages. Microsoft Corporation, Workman Nydegger, January 18, 2011: US07873592 (6 worldwide citation)

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 ...


7
Erik Meijer, Anders Hejlsberg, Matthew J Warren, Luca Bolognese, Peter A Hallam, Gary S Katzenberger: Dynamically typed unsafe variance. Microsoft Corporation, Workman Nydegger, April 6, 2010: US07694274 (6 worldwide citation)

A program execution engine that facilitates generic type variance verification is provided. The execution engine receives a program executable in the form of intermediate language (IL). The program executable can be based on code that includes expression(s) with generic type(s) which have been ident ...


8
Henricus Johannes Maria Meijer, Anders Hejlsberg, Matthew Warren, Dinesh Chandrakant Kulkarni, Luca Bolognese, Peter A Hallam, Gary Shon Katzenberger, Donald F Box: Compiler supporting programs as data objects. Microsoft Corporation, Workman Nydegger, June 4, 2013: US08458678 (5 worldwide citation)

A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that ap ...


9
Henricus Johannes Maria Meijer, Anders Hejlsberg, Dinesh Chandrakant Kulkarni, Vance P Morrison, John Joseph Duffy, Christopher W Brumme, Matthew J Warren, Luca Bolognese, Peter A Hallam, Gary S Katzenberger: Runtime support for nullable types. Microsoft Corporation, Workman Nydegger, December 1, 2009: US07627594 (5 worldwide citation)

The subject disclosure pertains to systems and methods for supporting null capabilities for general purpose programming languages. Low level, runtime support for a nullable type is provided to ensure consistency and coherency. An execution component restricts support of the nullable type to programm ...


10
Dinesh Chandrakant Kulkarni, Anders Hejlsberg, Matthew J Warren, Luca Bolognese, Henricus Johannes Maria Meijer, Peter A Hallam: Code generation patterns. Microsoft Corporation, Workman Nydegger, December 8, 2009: US07631011 (4 worldwide citation)

The subject disclosure pertains to code generation patterns for use in object relational mapping. The code patterns may be used to manage bidirectional relationships and ensure consistency. The code patterns may support on-demand or deferred loading of relational data. Change detection and tracking ...