CHARLES SIMONYI
Pilots at 84 Ave, Medina, WA

6097888, Aug 1, 2000

Apr 28, 1995

8/431049

Charles Simonyi - Medina WA

Microsoft Corporation - Redmond WA

G06F 945

395705

A method and system for generating a computer program in the manner that uses no computer programming language syntax. The system represents a computer program as an intentional program tree, which is a high-level program tree that is a syntax-independent representation using high-level computational constructs. The intentional program tree represents a programmer's intent, rather than an implementation of the programmer's intent. The programmer creates an intentional program tree using a syntax-independent editor. The editors allows a programmer to directly manipulate the intentional program tree. Because the program is stored as an intentional program tree in a syntax-independent manner, the editor allows the program to select in which of a various programming language the computer program is to be displayed. In addition, the system transforms an intentional program tree to a reduced program tree, which is a program tree comprising low-level computational constructs, in a process called reduction. The reduction process replaces expressions of programmer's intents with a representation of one of possible multiple implementations of those intents using low-level computational constructs.

6070007, May 30, 2000

Jun 27, 1997

8/884447

Charles Simonyi - Medina WA

Microsoft Corporation - Redmond WA

G06F 9445

395702

A method and system for generating a computer program in the manner that uses no computer programming language syntax. The system represents a computer program as an intentional program tree, which is a high-level program tree that is a syntax-independent representation using high-level computational constructs. The intentional program tree represents a programmer's intent, rather than an implementation of the programmer's intent. The programmer creates an intentional program tree using a syntax-independent editor. The editors allows a programmer to directly manipulate the intentional program tree. Because the program is stored as an intentional program tree in a syntax-independent manner, the editor allows the program to select in which of a various programming language the computer program is to be displayed. In addition, the system transforms an intentional program tree to a reduced program tree, which is a program tree comprising low-level computational constructs, in a process called reduction. The reduction process replaces expressions of programmer's intents with a representation of one of possible multiple implementations of those intents using low-level computational constructs.

5911072, Jun 8, 1999

Jun 27, 1997

8/884443

Charles Simonyi - Medina WA

Microsoft Corporation - Redmond WA

G06F 945

395701

A method and system for generating a computer program in the manner that uses no computer programming language syntax. The system represents a computer program as an intentional program tree, which is a high-level program tree that is a syntax-independent representation using high-level computational constructs. The intentional program tree represents a programmer's intent, rather than an implementation of the programmer's intent. The programmer creates an intentional program tree using a syntax-independent editor. The editors allows a programmer to directly manipulate the intentional program tree. Because the program is stored as an intentional program tree in a syntax-independent manner, the editor allows the program to select in which of a various programming language the computer program is to be displayed. In addition, the system transforms an intentional program tree to a reduced program tree, which is a program tree comprising low-level computational constructs, in a process called reduction. The reduction process replaces expressions of programmer's intents with a representation of one of possible multiple implementations of those intents using low-level computational constructs.

6966054, Nov 15, 2005

Dec 5, 2000

09/730375

Charles Simonyi - Medina WA, US

Microsoft Corporation - Redmond WA

G06F009/45

717144, 717112, 717156

A method and system is described for generating executable code for a computer program. A programmer creates an intentional program tree using a syntax-independent editor. The editor allows a programmer to directly manipulate the intentional program tree. The intentional program tree has nodes. Each node represents a high-level computational construct of the computer program. For each node representing a high-level computational construct, the system transforms the node into an implementation of the high-level computational construct using low-level computational constructs. For each node representing a low-level computational construct, the system generates executable code that implements the low-level computational construct. The system further provides that where a high-level computational construct has a plurality of implementations of the high-level computational construct, the system transforms the nodes by selecting one of the implementations and transforms the node in accordance with the selected implementation. The system further provides that the implementation is selected by automatically analyzing semantics of the intentional program tree.

7730102, Jun 1, 2010

Dec 6, 2006

11/567690

Charles Simonyi - Medina WA, US

Intentional Software Corporation - Bellevue WA

G07F 17/30

707797, 717113, 717144

A method and system for organizing nodes within a program tree. The system allows various child node categories to be defined for node types of a program tree. When a child node is added to a parent node, the system identifies the category of the child node. The system then instantiates a category data structure for the identified category. The system stores a reference to the instantiated category data structure in the parent node and stores a reference to the child node in the instantiated category data structure.

7756859, Jul 13, 2010

Dec 19, 2005

11/311891

Charles Simonyi - Medina WA, US

Intentional Software Corporation - Bellevue WA

G06F 7/00, G06F 17/30

707718, 707719, 707721

A method and system for searching multi-segment strings is provided. The search system receives a query string containing part or all of the segments that are to be matched as query segments. Upon receiving the query string, the search system compares the query segments provided in the query string with segments gathered from previously stored strings. If any segments match the query segments, the search system selects the strings that contain matching segments as search results.

5790863, Aug 4, 1998

Nov 8, 1996

8/745251

Charles Simonyi - Medina WA

Microsoft Corporation - Redmond WA

G06F 1546

395707

A method and system for generating a computer program. In a preferred embodiment, the present invention provides a program tree editor for directly manipulating a program tree. A program tree comprises of plurality of nodes corresponding to computational constructs. The program tree editor receives commands from a user that are independent of a programming language syntax. The present invention also provides a display representation generator for generating a display representation of the program tree. The display representation generator retrieves nodes from the program tree and displays a display representation of the node. A user of the present invention preferably interacts with the program tree editor based on the display representation.

7949949, May 24, 2011

Nov 20, 2006

11/561753

Charles Simonyi - Medina WA, US
Shane J. Clifford - Redmond WA, US

Intentional Software Corporation - Bellevue WA

G06F 17/00

715249, 715200, 715243, 717144

A method and system for transforming documents from different domains into a common representation for viewing and editing is provided. The system prepares the domain-specific document for visual representation by performing a series of transformations in a pipeline that convert the document from its domain-specific input state to a series of intermediate languages. The intermediate languages share the same syntax regardless of the domain of the document being transformed.

8341523, Dec 25, 2012

Jan 21, 2010

12/691150

Charles Simonyi - Medina WA, US

Intentional Software Corporation - Bellevue WA

G06F 3/00, G06F 3/048

715715, 715234, 715235, 715236, 717101, 717105, 717108, 717144

A method and system for providing help information for a computer program. The help system provides help information based on a schema that specifies the structure of a valid computer program. The schema provides definitions of program element types that are specific instances of a program element type derived from more general program element types. The help system identifies a “derivation” of program element types relating to the selected program element. The help system then displays the derivation to the user. The user can then select to display documentation associated with the displayed program element types.

8429525, Apr 23, 2013

Sep 9, 2009

12/555919

Charles Simonyi - Medina WA, US

International Software Corporation - Bellevue WA

G06F 17/00

715250, 715229, 715234, 715763

A method and system for transforming versions of a design tree and transforming identity-descriptions relating to the versions of a design tree. The transformation system provides a pipeline of transforms for sequentially transforming versions of a design tree and transforming identity-descriptions relating to the versions of the design tree. Each transform may provide a command interface for manipulating the input version of the design tree or for setting parameters to control the transformations of a transform.