Method and system for generating a computer program

Details Method and system for generating a computer program Method and system for generating a computer program

2005-11-15

2005-11-15

Vo, Ted T. (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S112000, C717S156000

Reexamination Certificate

active

06966054

ABSTRACT:
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.

REFERENCES:
patent: 4782444 (1988-11-01), Munshi et al.
patent: 4827404 (1989-05-01), Barstow et al.
patent: 4866665 (1989-09-01), Haswell-Smith
patent: 5148513 (1992-09-01), Koza et al.
patent: 5161216 (1992-11-01), Reps et al.
patent: 5175843 (1992-12-01), Casavant et al.
patent: 5191646 (1993-03-01), Naito et al.
patent: 5265254 (1993-11-01), Blasciak et al.
patent: 5327561 (1994-07-01), Choi et al.
patent: 5343554 (1994-08-01), Koza et al.
patent: 5396627 (1995-03-01), Iitsuka
patent: 5408603 (1995-04-01), Van de Lavoir et al.
patent: 5438331 (1995-08-01), Gilligan et al.
patent: 5790863 (1998-08-01), Simonyi
patent: 5813019 (1998-09-01), Van deVanter
patent: 5857212 (1999-01-01), Van De Vanter
patent: 5892907 (1999-04-01), Harper et al.
patent: 5896537 (1999-04-01), Landi et al.
patent: 5911072 (1999-06-01), Simonyi
patent: 6012152 (2000-01-01), Douik et al.
patent: 6070007 (2000-05-01), Simonyi
patent: 6078746 (2000-06-01), Simonyi
patent: 6097888 (2000-08-01), Simonyi
patent: 6189143 (2001-02-01), Simonyi
patent: 0361737 (1990-04-01), None
patent: 0546794 (1993-06-01), None
Hendren et al., “Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler”, McGill University, School of Computer Science, pp. 1-22, Oct. 19, 1993.
Aho et al., “Compilers, Principles, Techniques, and Tools”, Addison-Wesley, pp. 1-24, 1986.
“Guidelines for Software Refinery Language Models”,Reasoning Systems, Palo Alto, California, 29 pages, (May 2, 1991).
Aho, A.V., et al.,In: Compilers: Principles, Techniques and Tools, Addison-Wesley (Originally Published in 1986 by Bell Telephone Laboratories), p. 399-400, 473-488 and 527-528, 585-722, (Mar., 1988).
Bahlke, R., et al., “The PSG System: From Formal Language Definitions to Interactive Programming Environments”,ACM Transactions on Programming Languages and System, 8(4) :547-576, (Oct., 1986).
Ballance, R., et al., “The Pan Language-Based Editing System for Integrated Development Environments”,Sigsoft, Irvine, California, 77-93, (1990).
Bassett, P.G., “Frame-Based Software Engineering”,IEEE Software, 9-16, (Jul., 1997).
Donzeau-Gouge, V., et al., “Programming Environments Based on Structured Editors: The MENTOR Experience”,Institut-National de Recherche en Informatique at Automatieque Rocquencourt, France, 128-140.
Dykes, L., et al., “Towards High-Level Editing in Syntax Based Editors”,Software Engineering Journal, 237-244, (Jul., 1990).
Feather, M.S., “A Survey and Classification of some Program Transformation Approaches and Techniques”,Elsevier Science Publishers B.V.(North Hollard), 165-195, (1987).
Garlan, D., et al., “A Transformation Approach to Generating Application-Specific Environments”,ACM, 68-77, (Dec., 1992).
Garlan, D.B., et al., “GNOME: An Introductory Programming Environment Based on a Family of Structure Editors”,Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, 65-72, (Apr. 23-25, 1984).
Habermann, et al., “Gandalf: Software Development Environments”,IEEE Transactions on Software Engineering, SE-12 (12) :1117-1127, (1986).
Hendren, J., et al., ““Supporting Array Dependence Testing for an Optimizing C Compiler””,Compiler Construction 5th International Conference by Fritzson, Springer-Verlag, 309-323, (Apr. 1994).
Hood, R., “Efficient Abstractions for the Implementation of Structured Editors”,ACM, 171-178, (Feb., 1985).
Kaiser, G., et al., “A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation”,Software-Practice and Experience, 18(8), (Aug., 1988).
Kotik, G.B., et al., “Automating Software Analysis and Testing Using a Program Transformation System”,Proc. 14th Int'l Comp. Software and Applications Conference, 1-10, (1990).
Merks, E., et al., “Language Design for Program Manipulation”,IEEE Transaction on Software Engineering, 18 (1) :19-32, (Jan., 1992).
Minor, S., et al., “Interacting with Structure-Oriented Editors”,Int. J. Man-Machine Studies, 37:399-418, (1992).
Morgan, R., “Building an Optimizing Compiler”,Butterworth Heinemann Pub., 152-163, (1998).
Neighbors, J.M., “The Evolution from Software Components to Domain Analysis”,Int. J. of Software Eng. and Knowledge Eng., 2(3) :325-354, (1992).
Ohsawa, Y., et al., “A New Tree Type Data Structured with Homogeneous Nodes Suitable for a Very Large Spatial Database”,1990 6th International Conference, Data Engineering, (1990).
Pintelas, P., et al., “A Comparative Study of Five Language Independent Programming Environments”,Journal of Systems and Software, vol. 14, No. 1, 3-15, (Jan. 1991).
Reps, T., et al., “The Synthesizer Generator”,SIGPLAN Notices, 19(5) :42-48, (1984).
Reps, T., et al., “The Synthesizer Generator Reference Manual”,3rd ed, Springer-Verlag N.Y., 1-10, 54-85, 90-111, (1985).
Schneiderman, B., et al., “Display Strategies for Program Browsing: Concepts and Experiment”,IEEE Software, 7-15, (May, 1986).
Shasha, D., et al., “Pattern Matching in Unordered Trees”,Tools with Artificial Intelligence, IEEE Int'l Conference, (1992).
Snelting, G., “Experiences with the PSG—Programming System Generator”,Institut fur Systemarchitektur, Technische Hochschule Darmstadt, 148-162, (1985).
Teitelbaum, T., et al., “The Cornell Program Synthesizer: A Syntax-Directed Programming Environment”,Communications of the ACM, vol. 24, No. 9, 563-573, (Sep., 1981).

Affiliated with

Also associated with

Rating

Method and system for generating a computer program does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for generating a computer program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for generating a computer program will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3454006