Microsoft Technology Licensing, LLC

Other

Chris L Anderson

Haroon Ahmed

Steve Antoch

Charles W Kaufman

Anders Hejlsberg

Raja Krishnaswamy

Akhilesh Kaza

Mark A Alcazar

Stelios Paparizos

John M Hawkins

Scott Michael Wiltamuth

Aaron Ross Goldfeder

Viresh Ramdatmisier

An Yan

Peter H Golde

Janine Crumb

Karen Elizabeth Corby

Eric Gunnerson

Ajay Nair

Venkata Rama Prasad Tammana

Gennadii M Tertychnyi

Ariel Jorge Kirsman

Andre A Needham

Jeff Cooperstein

Oz Evren

Marcia L Kurcz

James Gemmell

The subject disclosure relates to a method and system for packaging a post-processed definition of a programming module. Contents of a constraint-based and/or order-independent execution model are received, in which the contents include a declarative source code. The contents are stored into an extensible storage abstraction such that the source code is stored in a declarative format. Metadata describing attributes of the contents stored in the extensible storage abstraction is also defined. A file is then created, which includes the extensible storage abstraction and the metadata.

Packaging system to facilitate declarative model-driven development

The subject disclosure relates to a method and system for synchronizing a repository with a declarative definition. The method and system includes receiving the declarative definition in which the declarative definition represents a constraint-based execution model. A script is also created that translates the declarative definition into machine code. At least one function is then performed on the repository in which the script provides instructions for the at least one function.

System and method for synchronizing a repository with a declarative defintion

Methods and computer-readable media are provided for determining suggested queries. A user enters a search website, and the user is identified based on a user identification. Suggested queries are determined based on a group associated with the user. This association is created by extracting queries from data logs, categorizing the queries into groups based on their respective subject matter, associating the user with one or more groups, and determining suggested queries for each group. The suggested queries are communicated for display.

Providing query suggestions

Described is a technology including an evaluation methodology by which a set of privileged code such as a platform's API method may be marked as being security critical and/or safe for being called by untrusted code. The set of code is evaluated to determine whether the code is security critical code, and if so, it is identified as security critical. Such code is further evaluated to determine whether the code is safe with respect to being called by untrusted code, and if so, is marked as safe. To determine whether the code is safe, a determination is made as to whether the first set of code leaks criticality, including by evaluating one or more code paths corresponding to one or more callers of the first set of code, and by evaluating one or more code paths corresponding to one or more callees of the first set of code.

Using security-related attributes

A blueprint is described that provides a framework for writing a code generator. A blueprint translator translates the blueprint into one or more classes with source code. The newly generated code can then be compiled. If the user wishes to add additional functionality to a generated class, this is done in a separate source file. At compilation time, the compiler combines the generated class with the user's additions, as if they were written in a single class. Later, if the blueprint is ever changed, the generated code can safely be updated without overwriting the user's additions. Alternately, the user can embed his desired additions or changes directly into the blueprint (embedded code). In this manner, should the blueprint ever be re-compiled, the user's changes will still be present. The partial classes technique can be used in conjunction with the embedded code technique.

Code blueprints

A carrier for storing and carrying a pair of cylindrical-shaped canisters.

Propane tank and accessory carrier

Growing community of inventors

Redmond, WA, United States of America

Chris L Anderson