Method and system for reducing an intentional program tree represented by high-level computational constructs
AssigneeMicrosoft Corporation
InventorCharles Simonyi
Life of this patent
Estimating the term…
Loading patent…
AssigneeMicrosoft Corporation
InventorCharles Simonyi
Estimating the term…
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.
A method in a computer system for specifying a new computational construct for use in defining a computer program, comprising:
A method in a computer system for displaying a computer program represented by an intentional program tree, the method comprising:
A method in a computer system for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the method comprising:
A method in a computer system for displaying a computer program generated by direct manipulation of a program tree so that new computational constructs can be defined, the method comprising:
A method in a computer system for displaying a representation of a program tree when modifying a program tree in a way that allows new computational constructs to be defined, the program tree representing a computer program, the program tree having nodes describing elements of the computer program, a representation of the program tree being stored in a program tree data structure in memory of the computer system, the method comprising:
A method in a computer system of displaying selected portions of a program tree so that new computational constructs can be defined, the program tree representing a computer program, the computer program having a plurality of computational constructs, the program tree having nodes describing each computational construct of the computer program, the program tree being stored in a program tree data structure in memory of the computer system, the method comprising:
A method in a computer system for displaying representations of computer programs so that a new computational construct can be added to a current set of computational constructs without affecting the computer programs that are already represented, each computer program having a plurality of computational constructs from the current set of computational constructs, the method comprising:
A computer-readable medium containing instructions for causing a computer system to specify a new computational construct for use in defining a computer program, the computer system having a display enzyme for each of a plurality of computational constructs, each display enzyme for displaying a representation of the computational construct, by:
A computer-readable medium containing instructions for causing a computer system to display a computer program represented by a program tree, the computer system having a display enzyme for each of a plurality of computational constructs, each display enzyme for displaying a representation of the computational construct;
A method in a computer system for specifying a new computational construct for use in defining a computer program, comprising:
A method in a computer system for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the method comprising:
A method in a computer system for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the method comprising:
A computer readable medium having instructions stored thereon for causing a computer to implement a method for specifying a new computational construct for use in defining a computer program, comprising:
A computer readable medium having instructions stored thereon for causing a computer to implement a method for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the method comprising:
A computer readable medium having instructions stored thereon for causing a computer to implement a method for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the method comprising:
A system for specifying a new computational construct for use in defining a computer program, comprising:
A system for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the system comprising:
A system for displaying a representation of a computer program, the computer system having a memory, a display device, and an input device, the system comprising:
A method in a computer system for specifying a new computational construct for use in defining a computer program by using multiple computational constructs, the method comprising:
Dependencies are inferred from the claim text.