Microsoft Technology Licensing, LLC

Renaud Paquay

Matthew J Warren

Mads Torgersen

David N Schach

Jared Porter Parsons

Peter H Golde

Aleksey V Tsingauz

Neal M Gafter

Karen Liu

Avner Y Aharoni

Jonathon Michael Stall

Michael Gregory Montwill

Kevin Pilch-Bisson

Sonja Keserovic

Kevin Andrew Pilch

Efficient immutable syntax representation with parent pointers under incremental change is enabled by creating a data structure comprising at least one tree structure that allows both upward and downward references in the tree and a tree structure that is immutable (read-only), and allows parts of itself to be re-used in other data structures. The data structure described enables tools to search and target particular sub trees. The fragment of the tree representing the targeted sub tree is produced as it is used. The rest of the tree is not produced. The read-only tree retains relative information, allowing it to be reassembled and shared.

Efficient immutable syntax representation with incremental change

Various domains may wish to specify different implementations of the type; e.g., a compilation domain may describe the type statically, an execution domain may instantiate objects of the given type, while a debugging execution domain may associate additional debugging information such as a symbol name. This may be achieved by specifying a type implementation of a particular type within respective domains which all implement a common type interface. A type binding instruction set may then select a type implementation for the type within the target instruction set according to the domain, and may bind type instances of the type within target instruction set to the selected type implementation for the current domain. This technique yields domain-specific variance in type implementation without having to reconfigure the target instruction set or perform domain-checking logic there-within.

Execution contexts with polymorphic type implementations

Growing community of inventors

Redmond, WA, United States of America

Renaud Paquay