Microsoft Technology Licensing, LLC

Christopher Lovett

Chia-Hsun Chen

Matthew J Warren

Wolfram Schulte

Nanshan Zeng

Erik Meijer

Barend Hermanus Venter

Anders Hejlsberg

Greg S Friedman

Mark W Fussell

Neetu Rajpal

Gareth Alun Jones

Arun Mathew Abraham

Mark A Groves

Andrew Craig Bragdon

Yu Xiao

David Charles Kilian

Kevin J Blasko

Louisa Rose Millott

Erik B Christensen

Yan Valerie Leshinsky

Jean-Pierre Duplessis

Stefan Harrington Pharies

Keith W Ballinger

Omri Gazitt

Nithyalakshmi Sampathkumar

Daniel Dedu-Constantin

William A Adams

David Lawrence Remy

Peter Drayton

Sergey Dubinets

Stanislav Kitsis

Anton V Lapounov

Michael P Corning

Kevin H Krouse

Yana D Kadiyska

Matthew J Wararen

Federico A Garcia

Steven P Lindeman

Alvaro De Matos Miranda

Resolving conflicting changes to structured data files. A method includes for a structured data file which has both a generic structure and dialects built on top of the generic structure, for which conflicting changes have been made, and where an original version of the structured data, a first version of the structured data and a second version of the structured data exist, determining a dialect of the structured data. The method further includes, based on the determined dialect performing at least one of merge or diff operations on the original version of the structured data, the first version of the structured data and the second version of the structured data.

Semantic diff and automerge

Scalable architecture for managing and rendering a large graph containing a large number of nodes and edges. The user can group arbitrary nodes to encapsulate complexity without losing any of the cross-group edges dependencies. All edges of the nodes contained in the group are rolled up into roll-up links (or 'arteries') where the graphical thickness indicates relatively how many links are bundled. By collapsing groups the entire view gives the user a clearer understanding of the graph. Information related to the groups and links is retained for drill-into to obtain the details inside each group on the same canvas and for user navigation across groups.

Manipulation and management of links and nodes in large graphs

A system and method for parsing XML is provided. The method includes associating an input stream with a pull model parser, accepting requests to selectively parse out XML items from the input stream and retrieving metadata information associated with the parsed out XML items. The method further includes checking the pulled XML item to determine whether it conforms to XML syntax and/or semantic standards and validating the pulled XML item to determine whether it conforms to a selected DTD.

Object-oriented pull model XML parser

A schema development system is provided. The system includes a location component to automatically determine members of a schema set. A processor component performs software development operations across the schema set. The members of the schema set can be implicitly determined from at least one development file, where the development file can be an XML file or an XSD file, for example.

Building, viewing, and manipulating schema sets

Aspects of the subject matter described herein relate to automatically identifying groups and subgroups in dependency data. In aspects, a data structure that indicates dependencies between components is analyzed to create groups that are related by dependencies. The groups are further analyzed to create subgroups that depend on shared components but that do not depend on each other. Information about the components is used to generate names for the groups that are indicative of the components included in the groups. The groups, their names, and their relationships may then be displayed.

Identifying groups and subgroups

An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET&#x2122; platform.

Application program interface for network software platform

A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Core object-oriented type system for semi-structured data

Tools and techniques for dynamically validating editors are described herein. The tools may provide machine-readable storage media containing machine-readable instructions for receiving indications of user edits to a portion of a document, and for determining whether a customized editor is available for the edited portion of the document. The tools may also provide systems that include at least the dynamically validating editor.

Model-based editors for dynamic validation

An incremental parser for hierarchical files is provided where the file can be parsed into a tree representation. Changes to the file can effectuate incremental changes to the tree such that the whole hierarchical file need not be reparsed; the incremental change modifies the necessary portions of the tree, not necessarily the entire tree. Moreover, the incremental parser can intelligently handle errors related to modification of the hierarchical file, such as unmatched tags corresponding to unmatched nodes in the tree. Such error handling provides operability with the malformed hierarchical file rather than providing an error and/or rejecting the file as modified.

Incremental parsing of hierarchical files

A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.

Implementation of alias preserving structural subtyping with precise types using transparent adapters

A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

System and method for extending a compiler through a composer

Growing community of inventors

Woodinville, WA, United States of America

Christopher Lovett