Patent
1997-06-27
2000-06-20
Hafiz, Tariq R.
395705, 395706, 395708, 395709, 395710, 395712, G06F 9445
Patent
active
060787465
ABSTRACT:
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.
REFERENCES:
patent: 4782444 (1988-11-01), Munshi et al.
patent: 4821211 (1989-04-01), Torres
patent: 4827404 (1989-05-01), Barstow et al.
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: 5327561 (1994-07-01), Choi et al.
patent: 5343554 (1994-08-01), Koza et al.
patent: 5408603 (1995-04-01), Van de Lavoir et al.
patent: 5438331 (1995-08-01), Gilligan et al.
patent: 5526522 (1996-06-01), Takeuchi
patent: 5717883 (1998-02-01), Sager
patent: 5813019 (1998-09-01), Van De Vanter
patent: 5857212 (1999-01-01), Van De Vanter
Bahlke, Rolf et al., "The PSG System: From Formal Language Definitions To Interactive Programming Environments," ACM Transactions on Programming Languages and Systems 8(4):547-551, 554-575, 1986.
Ballance, Robert A. et al., "The Pan Language-Based Editing System For Integrated Development Environments," ACM SIGSOFT, pp. 77-93, 1990.
Donzeau-Gouge, Veonique et al., "Programming Environments Based On Structured Editors: The MENTOR Experience," Institut National de Recherche en Informatique et Automatique, Rocquencourt, France, pp. 128-140.
Dykes, Leland R. et al., "Towards High-Level Editing In Syntax-Based Editors," Software Engineering Journal, pp. 237-244, Jul. 1990.
Garlan, David B. et al., "GNOME: An Introductory Programming Environment Based On A Family Of Structure Editors," in Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, ACM, Pittsburgh, PA, Apr. 23-25, 1984, pp. 65-72.
Hood, Robert, "Efficient Abstractions For The Implementation Of Structured Editors," ACM, pp. 171-178, 1985.
Hendren, Justiani et al., "Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler," in Proceedings of the 5.sup.th International Conference, CC '94, Edinburgh, U.K., Apr. 7-9, 1994, pp. 309-323.
Kaiser, Gail E. et al., "A Retrospective on DOSE: An Interpretive Approach To Structure Editor Generation," Software-Practice and Experience 18(8):733-748, 1988.
Merks, Eduardus A.T., "Language Design For Program Manipulation," IEEE Transactions on Software Engineering 18(1):19-32, 1992.
Minor, Sten, "Interacting With Structure-Oriented Editors," Int. J. Man-Machine Studies 37:399-418, 1992.
Neighbors, James M., "The Evolution From Software Components To Domain Analysis," International Journal of Software Engineering and Knowledge Engineering 2(3):325-354, 1992.
Ohsawa, Yutaka et al., "A New Tree Type Data Structure With Homogeneous Nodes Suitable For A Very Large Spatial Database," IEEE, pp. 296-303, 1990.
Shasha, Dennis et al., "Pattern Matching In Unordered Trees," in Proceedings of the International Conference on Tools with AI, IEEE, Arlington, VA, Nov., 1992, pp. 352-361.
Shneiderman, Ben et al., "Display Strategies For Program Browsing: Concepts and Experiment," IEEE, pp. 7-15, May 1986.
Pintelas, P. et al., "A Comparative Study of Five Language Independent Programming Environments," Journal of Systems and Software, Jan. 1991, USA, vol. 14, No. 1, pp. 3-15.
Teitelbaum, T. et al., "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment," Communications of the ACM, Sep. 1981, USA, vol. 24, No. 9, pp. 563-573.
Bahlke, R., and G. Snelting, "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, 1990, pp. 77-93.
Bassett, Paul G., "Frame-Based Software Engineering," IEEE Software, Jul. 1987, pp. 9-16.
Kotik, Gordon B., and Lawrence Z. Markosian, "Automating Software Analysis and Testing Using a Program Transformation System," Proc. 14.sup.th Int'l Comp. Software and Applications Conference, pp. 1-10, 1990.
Merks, E. et al., "Language Design for Program Manipulation," IEEE Transactions on Software Engineering 18(1):19-32, Jan. 1992.
Minor, S., "Interacting with Structure-Oriented Editors," Int. J. Man-Machine Studies 37:399-418, 1992.
Neighbors, James M., "The Evolution from Software Components to Domain Analysis," Int. J. of Software Eng. and Knowledge Eng. 2(3):325-354, 1992.
Ohsawa, Yutaka, and Masao Sakauchi, "A New Tree Type Data Structure with Homogeneous Nodes Suitable for a Very Large Spatial Database," 1990 6.sup.th International Conference, Data Engineering.
Reps, Thomas, and Tim Teitelbaum, "The Synthesizer Generator," SIGPLAN Notices 19(5):42-48, 1984.
Reps, Thomas and Tim Teitelbaum, "The Synthesizer Generator Reference Manual," 3d ed., Springer-Verlag, N.Y., pp. 1-10, 54-85, 90-111, 1985.
Shasha, Dennis et al., "Pattern Matching in Unordered Trees," Tools with Artificial Intelligence, IEEE Int'l Conference, 1992.
Schneiderman, B. et al., "Display Strategies for Program Browsing: Concepts and Experiment," IEEE Software, May 1986, pp. 7-15.
Snelting, G., "Experiences with the PSG-Programming System Generator," Institut fur Systemarchitektur, Technische Hochschule Darmstadt, 1985, pp. 148-162.
Teitelbaum, Tim. and Thomas Reps, "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment," Communication of the ACM 24(9):563-573, Sep. 1981.
Donzeau-Gouge, V. et al., "Programming Environments Based on Structured Editors: The MENTOR Experience," Institut National de Recherche en Informatique et Automatique Rocquencourt, France, pp. 128-140.
Dykes, L., and R. Cameron, "Towards High-Level Editing in Syntax-Based Editors," Software Engineering Journal, Jul. 1990, pp. 237-244.
Feather, Martin S., A Survey and Classification of some Program Transformation Approaches and Techniques, Elsevier Science Publishers B. V. (North-Holland), 1987, pp. 165-195.
Garlan, David et al., "A Transformation Approach to Generating Application-Specific Environments," ACM, Dec. 1992, pp. 68-77.
Garlan, David B. and Philip L. Miller, "GNOME: An Introductory Programming Environment Based on a Family Structure Editors," Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennyslvania, Apr. 23-25, 1984, pp. 65-72.
"Guidelines for Software Refinery Language Models," Reasoning Systems, Palo Alto, California, May 2, 1991, 29 pages.
Habermann, A. Nico, and David Notkin, "Gandalf: Software Development Environments," IEEE Transactions on Software Engineering SE-12(12):1117-1127, 1986.
Hood, R., "Efficient Abstractions for the Implementation of Structured Editors," ACM, Feb. 1985, pp. 171-178.
Kaiser, G. et al., "A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation," Software --Practical and Experience 18(8), Aug. 1988.
Aho et al., "Compilers, Principles, Techniques, and Tools", Addison-Wesley Pub., pp. 6-8, 287-291, 1988.
Hafiz Tariq R.
Microsoft Corporation
Vo Ted T.
LandOfFree
Method and system for reducing an intentional program tree repre 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 reducing an intentional program tree repre, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for reducing an intentional program tree repre will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1861177