1
Donald F Box, Bradford H Lovering, John D Doty, Jeffrey C Schlimmer, John L Hamby, David E Langworthy: Common intermediate representation for data scripting language. Microsoft Corporation, June 25, 2013: US08473897 (29 worldwide citation)

A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine ...


2
David E Langworthy, Bradford H Lovering, Donald F Box, Giovanni M Della Libera, Jeffrey S Pinkston, Jeffrey C Schlimmer, John D Doty, John L Hamby: Compact syntax for data scripting language. Microsoft Corporation, Chin IP PLLC, David Chin, November 27, 2012: US08321833 (22 worldwide citation)

The subject disclosure relates to a syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format. The scripting language can be a declarative programming language, such as the “D” programming language, which is well suited to the ...


3
David Levin, Erik B Christensen, Saurab Nog, Donald F Box, Christopher G Kaler, Giovanni M Della Libera, Alfred Lee IV, David Wortendyke: Dynamic protocol construction. Microsoft Corporation, Lee & Hayes PLLC, July 10, 2007: US07243157 (14 worldwide citation)

A method includes advertising a policy characterizing communication properties supported by a node. The policy may be distributed to another node in response to a request for the policy. Policy expressions in the policy include one or more assertions that may be grouped and related to each other in ...


4
John P Shewchuk, Arun K Nanda, Donald F Box, Douglas A Walter, Hervey O Wilson: Securely roaming digital identities. Microsoft Corporation, Merchant & Gould PC, December 29, 2009: US07640579 (10 worldwide citation)

A cryptographic session key is utilized to maintain security of a digital identity. The session key is valid only for a limited period of time. Additional security is provided via a bimodal credential allowing different levels of access to the digital identify. An identity token contains pertinent i ...


5
Kenneth David Wolf, Edmund S V Pinto, Robert B Schmidt, Nathan C Talbert, Stephen J Millet, Donald F Box: Data scoping and data flow in a continuation based runtime. Microsoft Corporation, November 2, 2010: US07827127 (8 worldwide citation)

Described is a data model used in a continuation based runtime that executes activities. The data model provides for declaring parameters to define data flow direction (in, out or both in and out) with respect to activities. The model further allows for the declaring of variables to provide for data ...


6
Michael S Vernal, Aaron Stern, Donald F Box, Erik B Christensen, Kenneth D Wolf, Michael J Coulson, Elliot L Waingold, Luis Felipe Cabrera: Varying of message encoding. Microsoft Corporation, Workman Nydegger, October 12, 2010: US07814211 (7 worldwide citation)

Embodiments described herein provide a user with the ability to vary the encoding of a message object rather than being bound to a specific one, e.g., the text encoding for SOAP messaging. Accordingly, a message encoding factory is provided that is responsible for mapping a message object (e.g., SOA ...


7
David E Langworthy, Gavin Bierman, Andrew D Gordon, Donald F Box, Bradford H Lovering, Jeffrey C Schlimmer, John D Doty: Bidirectional type checking for declarative data scripting language. Microsoft Corporation, Nicholas Chen, Kate Drakos, Micky Minhas, June 24, 2014: US08762942 (7 worldwide citation)

An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking ...


8
Clemens A Szyperski, Quetzalcoatl Bradley, Joshua R Williams, Christopher L Anderson, Donald F Box, Jeffrey S Pinkston, Martin J Gudgin: Accessing different application data via a common data structure. Microsoft Corporation, Workman Nydegger, November 6, 2012: US08307016 (7 worldwide citation)

A common data type structure can be used to correlate access requests between applications that implement data in accordance with different types or type structures. In one implementation, a common data structure includes schemes for operations, sequences, records, and atoms (i.e., undefined). The s ...


9
David E Langworthy, John L Hamby, Bradford H Lovering, Donald F Box: Tree-based directed graph programming structures for a declarative programming language. Microsoft Corporation, Chin IP PLLC, Davin Chin, October 23, 2012: US08296744 (6 worldwide citation)

Embodiments of tree-based directed graph programming structures for a declarative programming language are provided. In various embodiments, complex graph structured data, referred to as “DGraphs” herein in one non-limiting implementation, is authored using a compact, human friendly syntax without t ...


10
Henricus Johannes Maria Meijer, Anders Hejlsberg, David L Remy, Arpan A Desai, Asad Jawahar, Andrew E Kimball, Donald F Box: Lightweight application program interface (API) for extensible markup language (XML). Microsoft Corporation, Amin Turocy & Calvin, August 5, 2008: US07409636 (6 worldwide citation)

An architecture that leverages support for markup language operations, e.g., extensible markup language (XML) queries, via a lightweight application program interface (API). The API defines an object model that can simplify construction of XML values in languages that do not natively support XML. Th ...