On designing a language for exclusive use in a syntax directed programming environment
Page 682
Abstract
Certain types of syntax-directed editors are actually syntax-directed programming environments (SDPEs) since incremental compilation is performed as the user constructs and modifies the program. An early example of an SDPE was the Cornell Program Synthesizer (3). In such an environment, most of the parse tree is specified by the user through the specification of templates which correspond to the application of a production in a language's grammar. Since the programmer is specifying most of the parse tree, many ambiguous context-free languages are well-suited for use in SDPEs.
The suggestion that languages be created for specific use in a syntax-directed programming environment is not new [2], but has received relatively little attention. One reason for this is that many syntax-directed editors do not provide for incremental compilation; another reason is that syntax-directed environments are not yet in widespread use. However, the use of SDPEs are increasing and all indications are that this trend will continue [4].
Therefore, research has recently been undertaken to develop a block-structured language which will be well-suited to a syntax-directed programming environment. The major design issues being considered for the prototype language are:
Elimination of symbols (e.g. semicolons) which are needed to avoid ambiguity in a standard compiler but which are unnecessary when the user is specifying most of the parse tree;
A syntax definition for the language which is better-suited to user interface than for compiler-writers [1];
The ability to restrict use of the language within the SDPE to a subset of the entire definition, which would allow easier use of the language in an introductory course, and would permit a system manager to enforce various coding standards (e.g. no goto statements);
A pretty printing standard for the language; and
The ability, if desired, to enforce coding standards which cannot be restricted under issues 3 and 4 listed above (e.g. requiring all variables to be locally defined).
References
[1]
Lomax, Anne. The suitability of language syntaxes for program generation. SIGPLAN Notices, 22, 3 (March 1987), 95-101.
[2]
Teitelbaum, Tim; Reps, Thomas and Horowitz, Susan. The why and the wherefere of the Cornell Program Synthesizer. SIGPLAN Notices, 16, 6 (June 1981), 28-33.
[3]
Teitelbaum, Tim and Reps, Thomas. The Cornell Program Synthesizer: A syntax directed programming environment. Communications of the ACH, 24, 9 (September 1981), 563-573.
[4]
Reps, Thomas and Teitelbaum, Tim. Language Processing in Program Editors. Com~outer, 20, ii (November 1987), 29-40.
Index Terms
- On designing a language for exclusive use in a syntax directed programming environment
Recommendations
Syntax extension and the IMP72 programming language
The IMP72 language for the DEC PDP-10 computer is the most recent of the IMP family of extensible software implementation languages. Its facility for extending the syntax of the language, the syntax statement, is simple enough to be useful to relatively ...
A syntax directed generator
AFIPS '61 (Eastern): Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems controlThe recent proliferation of algebraic translators or "compilers"--programs which translate from an algebraic language (like ALGOL, IT, or Lo) to the hardware language of a digital computer--has stimulated a good deal of work on techniques of reducing ...
Syntax-Directed Machine Translation of Natural Language: Effect of Garden Path Phenomenon on Sentence Structure
ISDEA '10: Proceedings of the 2010 International Conference on Intelligent System Design and Engineering Application - Volume 02The potential of current machine translation (MT) of natural languages is discussed by comparing the output of embedded structure sentence, ambiguous sentence and garden path sentence. The syntax-oriented MT is a kind of literal translation which may be ...
Comments
Information & Contributors
Information
Published In
February 1988
770 pages
ISBN:0897912608
DOI:10.1145/322609
Copyright © 1988 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 February 1988
Check for updates
Qualifiers
- Article
Conference
ICMI05
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 44Total Downloads
- Downloads (Last 12 months)28
- Downloads (Last 6 weeks)5
Reflects downloads up to 12 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in