Syntax-Directed Documentation for PL360

Total Page:16

File Type:pdf, Size:1020Kb

Syntax-Directed Documentation for PL360 University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange The Harlan D. Mills Collection Science Alliance 1970 Syntax-Directed Documentation for PL360 Harlan D. Mills Follow this and additional works at: https://trace.tennessee.edu/utk_harlan Part of the Software Engineering Commons Recommended Citation Mills, Harlan D., "Syntax-Directed Documentation for PL360" (1970). The Harlan D. Mills Collection. https://trace.tennessee.edu/utk_harlan/25 This Article is brought to you for free and open access by the Science Alliance at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in The Harlan D. Mills Collection by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. Programming Languages J.c. REYNOLDS, Editor Syntax-Directed Documentation A key principle in what follows is that the programming documentation process is managed solely on the basis of For PL360 the syntax of programs. The semantics of the documenta- tion, as embodied in programmer responses to interroga- tion, are not analyzed by the process except in mechanical HARLAN D. I~/[ILLS ways such as keyword indexing. In this way, a program- IBM, Gaithersburg , Maryland mer's responses are treated as "black messages" in the process, in analogy to the idea of a "black box." That is, a programmer's responses are requested, accepted, stored, The language PL360, together with its phrase structure gram- and later retrieved with no semantic analysis of their mar, is used as a concrete basis for illustrating an idea coiled contents. syntax-directed documentation. This idea is: (1) to use the phrase structure of a program to define the structure of a formal Syntactic Preliminaries documentation for that program; (2) to use the syntactic types We use the notation and definitions for PL360 in [1]. and identifiers in the resulting structure to trigger the automatic In defining documentation units and lines, the following formation of questions to the programmer, whose answers will device is used. First, denote the grammar in [1, in particu- become part of that documentation; and (3) to provide auto- lar, Appendix III, pp. 72-74] by G, which defines the matic storage and retrieval facilities so that other programmers language PL360, say L(G). This grammar G will be trans- who want to understand or modify the program can access the formed finitely into a new grammar G* such that resulting documentation, which is cross-indexed in various ways by syntactic types and objects. A small PL360 program, al- L(G*) = L(G), ready found in the literature, is worked out as an example. and such that G* contains syntactic entities we want to KEY WORDS AND PHRASES: documentation, syntax analysis, PL360, en- classify as documentation units and use to define lines. forced documentation, indexed documentation, automatic interrogation, phase The basis for the transformation of G into G* is a finite structured grammar, syntax-directed documentation, syntax processing number of elementary steps as follows. If X is any finite CR CATEGORIES: 3.59, 3.79, 4.19, 4.43 sequence of tokens and/or syntactic entities which occurs as part of the right side of a production rule in a grammar G ~, and (A) is not a syntactic entity in G k, we can define a Introduction new production (A) :: = X and substitute (A) for X in the PL360, due to the efforts of N~iklaus Wirth [1], is a right side of any rule we please in G k, to get a grammar phrase structured programming language which provides G ~+1. It is clear that L(G ~+1) = L(G k) by this construc- the facilities of a symbolic machine language for the IBM tion. Then, we consider a sequence 360 computers. It is defined by a recursive syntax and is G = G O,G 1,...,G = = G* implemented by a syntax-directed compiler consisting of a precedence syntax analyzer and a set of interpretation where n is the (finite) number of additional syntactic enti- rules, as discussed by Wirth and Weber in [2]. ties we want to be defined in G* which are not in G. Syntax-directed documentation refers to an automatic We note that, even though additional syntactic entities process which acquires programming documentation can easily be introduced in a grammar while retaining the through the syntactical analysis of a program, followed by identical language, the question of keeping it a precedence the interrogation of the originating programmer. This grammar [2] is a delicate matter. This general point is not documentation can be dispensed through reports or file pursued here. However, we use only transformations which query replies when other programmers later need to know label the entire right side of a rule; in this case the grammar the program structure and its details. obviously retains its precedence properties. The interrogation of an originating programmer consists In what follows, the grammar G is augmented to G* just of: (1) a relisting of the program text, with certain syntac- to provide a basis for invoking additional interpretation tic entities, which are classified as documentation units, set rules which define documentation files and generate ques- off typographically in lines and labeled with an ordinal tions. It will also be apparent that the same device can be coordinate system; and (2) a sequence of questions about useful in extending syntax processing beyond documenta- these documentation units. These questions are generated tion to questions of execution control and dynamic storage automatically, by completing prestored skeleton questions allocation in multiprogramming operating systems. For with coordinates and/or programmer generated identifiers. example, better use of core may arise if core is allocated to The programmer's responses to the questions are stored the machine code corresponding to syntactic entities such and indexed to these documentation units for retrieval. as "for statements" and "while statements" rather than 216 Communications of the ACM Volume 13 / Number 4 / April, 1970 simply arbitrary "pages" of machine code which may break referencing during programmer interrogation and later up such natural units of execution. examination. When programmers make an informal effort to arrange their programs for readability, they typically Documentation Units start each documentation unit, as defined above, on a new We classify as a documentation unit any right hand side line and use indentation to correspond in a general way of a rule which reduces to one of the following syntactic with syntactical nesting in the program. We recognize that entities in [1]: the problem is a subjective one, but we give a syntax- (SIMPLE STATEMENT} defined listing algorithm which is believed to satisfy the (STATEMENT) intuitive intentions observed in informal programming (DECL) efforts. (PROGRAM) For the purpose of typographical listing, we partition a There are 19 such documentation units given in Table I. If PL360 program or procedure into a string of substrings. the right hand side is already defined in G, it is used Each substring is to be a printed line, and the string of lines directly. Otherwise, a new syntactic entity is defined, with constitutes a listing of the program. Associated with each the understanding that G is augmented by each such de- line are two numbers: one which specifies its order in the finition, as described above. program or procedure, and one which corresponds to the indentation (or starting column) of the line. If a line ex- TABLE l DOCUMENTATION UNITS ceeds the width of paper available, its continuation is 1 <BLOCK> :~= <BLOCKBODY> END further indented a standard amount. 2 <CASE ST> ::= <CASE SEQ> END 3 <FOR ST> ::= FOR <ASS STEP> <LIMIT) <DO> <STATEMENT*) 4 <FUNCDECL?> The partition of a PL360 program or procedure into lines 5 <FUNC ID) 6 <FUNCST> ::= <FUNCI> ) is defined by marking the starting text for each documenta- 7 <GOTO ST> :~= GOTO <ID> 8 <IF THEN ELSE ST> ::= IF <CONO THEN> <TRUE PART) <STATEMENT*> tion unit, and each label, BEGIN, END, ELSE, and. (dot) 9 <IF THEN ST> :== IF <CONO THEN> <STATEMENT=> 10 <K MEG ASS> I[ <NULL ST) symbol. The lines are numbered consecutively. The inden- 12 <PKOC DECL> ::= <PRDC HO6> ~STATEMENT*> 13 <PNOC ID> tation number is the level of nesting of the documentation 14 <PROGRAM> 15 <SEG DECL> ::= <SEG HEAD> BASE <K REG> unit it begins, if any, based on syntactic membership as Ib <SYNOC2> 17 <T CELL ASS> :~= <T CELL> := <K RiG) IB <T DECLT) described above. The only lines not beginning a new docu- 19 <WHILE ST> ::= <WHILE> <COND DO> <STATEMENT*> mentation unit are BEGIN (in CASE statements), END, ELSE, and. (dot). In each case they are indented according In effect, this classification of documentation rules is a to the level of the documentation unit which they help convenience, for identifying productions, whose recog- define. Labels are given the indentation level of the pro- nition in an analysis, corresponds to having additional gram or procedure being listed. interpretation rules that deal with documentation proc- To refer to a line from outside a procedure, we qualify essing. Given a PL360 program, we consider every realization of the line numbers with the procedure name. While the con- cept of program is defined in PL360, no provision is made such documentation units, which can be structured on the for naming a program in the syntax. basis of syntactic membership, as follows. A documentation For convenience, we introduce a new basic symbol unit is a member of a second documentation unit if its pro- PROGRAM and the redefinition gram text is a subset of the program text of the second. It is an immediate member if it is not a member of any third (PROGRAM) ::= PROGRAM (ID) (STATEMENT) documentation unit, itself a member of the second.
Recommended publications
  • Linux Assembly HOWTO Linux Assembly HOWTO
    Linux Assembly HOWTO Linux Assembly HOWTO Table of Contents Linux Assembly HOWTO..................................................................................................................................1 Konstantin Boldyshev and François−René Rideau................................................................................1 1.INTRODUCTION................................................................................................................................1 2.DO YOU NEED ASSEMBLY?...........................................................................................................1 3.ASSEMBLERS.....................................................................................................................................1 4.METAPROGRAMMING/MACROPROCESSING............................................................................2 5.CALLING CONVENTIONS................................................................................................................2 6.QUICK START....................................................................................................................................2 7.RESOURCES.......................................................................................................................................2 1. INTRODUCTION...............................................................................................................................2 1.1 Legal Blurb........................................................................................................................................2
    [Show full text]
  • TITLE SPIRES (Stanford Public Information Retrieval System) 1970-71 Annual Report INSTITUTION Stanford Univ
    DOCUMENT REsUME ED 057 828 LI 003 325 AUTHOR Parker, Edwin B. TITLE SPIRES (Stanford Public Information Retrieval System) 1970-71 Annual Report INSTITUTION Stanford Univ. , Calif. Inst. for Communication Research. SPONS AGENCY National Science Foundation, Washington, D.C. Office of Science Information Services. PUB DATE Dec 71 NOTE 154p.;(23 References) EDRS PRICE MF-$0.65 HC-$6.58 DESCRIPTORS *Computer Programs; *Information Retrieval; *Information Storage; *Information Systems; *On Line Systems IDENTIFIERS Computer Software; SPIRES; *Stanford Public Information Retrieval System ABSTRACT SPIRES (Stanford Public Information REtrieval System) is a computer information storage and retrieval system being developed at Stanford University with funding from the National Science Foundation. SPIRES has two major goals: to provide a user-oriented, interactive, on-line retrieval syste for a variety of researchers at Stanford; and to support the automation efforts of the university libraries by developing and implementing common software. SPIRES I, a prototype system, was implemented at the Stanford Linear Accelerator Center (SLAC) in 1969, from a design based on a 1967 information study involving physicists at SLAC. Its primary data base is a high-energy-physics preprints file. Evaluation of SPIRES I resulted in the definition of a production information storage and retrieval system, SPIRES II. This system will be available -daily, beginning in mid-1972, to faculty, staff, and students of the University.- It is characterized by flexibility, simplicity, and economy. _SPIRES II will operate on-line on an IBM 360/67 computer. This report summarizes the uses of the SPIRES I system over the past year and describes both the nature of SPIRES II and this system,s development over the past year.
    [Show full text]
  • Newsletter #9-#10
    PASCAL USER'S GROUP Pascal. News (FORMERLY PASCAL NEWSLETTER) NUMBERS 9 AND 10 (COMBINED ISSUE) COMMUNICATIONS ABOUT THE PROGRAMMING LANGUAGE PASCAL BY PASCALERS SEPTEMBER" 1977 (Y)o TAB LEO F CON TEN T S N I'- '0 U'I C/I tG c.. U'I '-tG 0.0 C c.. tG o POLICY: Pascal News wtG::.::- 3 . 0.0 M 1 ALL PURPOSE COUPON ~ C/I tG "tJ_ "tJ LU .- 3 EDITOR'S CONTRIBUTION .- .&; :>'Ou tG (Y) .- 4 HERE AND THERE QI'-3 4 News .. ..... 8 Conferences (I) .... 8 Books and Articles Ct: m 11 Past Issues of Pascal Newsletter .... 11 PUG Finances ..J X 12 Roster LU ....== 39 ART! CLES ~. 39 "Pascal at Sydney University" - A. J. Gerber andC. C. Morgan 40 "Disposing of Dispose" - Stephen P. Wagstaff 42 "What is a Textfile?" - William C. Price 43 "Generic Routines and Variable Types in Pascal II - B. Austermuehl and H.-J. Hoffmann 47 OPEN FORUM FOR MEMBERS 54 Special Topic: Micro/Personal Computers and Pascal 58 Special Topic: Pascal Standards L 60 IMPLEMENTATION NOTES 60 Checklist 60 General Information ".. 61 Software Writing Tools 61 Portable Pascals 63 Pascal Variants 64 Feature Implementation Notes 73 Machine Dependent Implementations 113 POLICY: Pascal User's Group r- ! POLICY: PASCAL NEWS (77/09/01) * Pascal News is the official but informal publication of the User's Group. ~ Pascal News contains all we (the editors) know about Pascal; we use it as the vehicle to answer all inquiries because our physical energy and resources for answering individual requests are finite. As PUGgrows, we unfortunately succumb to the reality of (1) having to insist that people who need to know "about Pascal" join PUGand read Pascal News - that is why we spend time to produce it! and (2) refusing to return phone calls or answer letters full of questions - we will pass the questions on to the readership of Pascal News.
    [Show full text]
  • Design and Complete Definition of a Systems Programming Language for Data Communications Eldon Jerome Niebaum Iowa State University
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 1973 Design and complete definition of a systems programming language for data communications Eldon Jerome Niebaum Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Computer Sciences Commons Recommended Citation Niebaum, Eldon Jerome, "Design and complete definition of a systems programming language for data communications " (1973). Retrospective Theses and Dissertations. 4962. https://lib.dr.iastate.edu/rtd/4962 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. INFORMATION TO USERS This material was produced from a microfilm copy of the original document. While the most advanced technological means to photograph and reproduce this document have been used, the quality is heavily dependent upon the quality of the original submitted. The following explanation of techniques is provided to help you understand markings or patterns which may appear on this reproduction. 1. The sign or "target" for pages apparently lacking from the document photographed is "Missing Page(s)". If it was possible to obtain the missing page(s) or section, they are spliced into the film along with adjacent pages. This may have necessitated cutting thru an image and duplicating adjacent pages to insure you complete continuity. 2. When an image on the film is obliterated with a large round black mark, it is an indication that the photographer suspected that the copy may have moved during exposure and thus cause a blurred image.
    [Show full text]
  • Steps Toward a Compiler for BLISS-360
    STEPS TOWARD A COMPILER FOR BLISS-360 Richard Charles Bahler HffiE 1 ihshL postgraduate school Monterey, California THESIS - STEPS TOWARD A COMPILER FOR BLISS- 360 by Richard Charles Bahler Thesis Advisor: Gary A . Kildall June 1972 Appiov&d ^oh. pubtic k.qA.qju> e; diA&iibntion untimittd. Steps Toward a Compiler for BLISS-360 by Richard Charles Bahler Major, United States Marine Corps Reserve B.A., University of Rochester, 1955 Submitted in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE IN COMPUTER SCIENCE from the NAVAL POSTGRADUATE SCHOOL June 1972 ABSTRACT The design of a compiler for the IBM S/360 systems implementation language BLISS-360, a modification of the PDP-10 language BLISS- 10, is described. The compiler has a two-pass structure that is based upon the XPL Compiler Generator System. The first of these passes, which uses the XPL prototype compiler Skeleton,, is examined in some detail. Funda- mental data structures are described for this pass, including a constant table, a dictionary for variable definitions, and an intermediate language table to retain the source program structure and semantics. Modifications which allow the Skeleton compiler to perform a syntax analysis of BLISS- 360 programs are discussed and demonstrated. General requirements are defined for the functions to be performed by the second pass, including machine language code generation from the intermediate language, storage allocation and building program interface linkage. TABLE OF CONTENTS I. INTRODUCTION 9 A. PROJECT GOAL 9 B. THESIS OBJECTIVES 9 II. A BLISS-360 COMPILER — POSSIBLE APPROACHES 11 A. REQUIREMENTS OF THE COMPILER 11 B.
    [Show full text]
  • Comparative Programming Languages CM20253
    We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily
    [Show full text]
  • 1 HLA Overview
    HLA Reference Manual 5/24/10 Chapter 1 1 HLA Overview HLA, the High Level Assembler, is a vast improvement over traditional assembly languages. With HLA, programmers can learn assembly language faster than ever before and they can write assembly code faster than ever before. John Levine, comp.compilers moderator, makes the case for HLA when describing the PL/360 machine specific language: 1999/07/11 19:36:51, the moderator wrote: "There's no reason that assemblers have to have awful syntax. About 30 years ago I used Niklaus Wirth's PL360, which was basically a S/360 assembler with Algol syntax and a a little syntactic sugar like while loops that turned into the obvious branches. It really was an assembler, e.g., you had to write out your expressions with explicit assignments of values to registers, but it was nice. Wirth used it to write Algol W, a small fast Algol subset, which was a predecessor to Pascal. ... -John" PL/360, and variants that followed like PL/M, PL/M-86, and PL/68K, were true "mid-level languages" that let you work down at the machine level while using more modern control structures (i.e., those loosely based on the PL/I language). Although many refer to "C" as a "medium-level language", C truly is high level when compared with languages like PL/*. The PL/* languages were very popular with those who needed the power of assembly language in the early days of the microcomputer revolution. While it’s stretching the point to say that PL/M is "really an assembler," the basic idea is sound.
    [Show full text]
  • Compiler Construction the Art of Niklaus Wirth
    Compiler Construction—The Art of Niklaus Wirth 1 Compiler Construction The Art of Niklaus Wirth Hanspeter Mössenböck University of Linz [email protected] Abstract Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient and reliable compilers. This paper tries to collect some general principles behind his work. It is not a paper about new compilation techniques but a reflection about Wirth's way to write compilers. 1 Introduction Among the numerous research topics that Niklaus Wirth approached during his professional career, programming languages and their compilers clearly was the dominating theme. There is hardly anybody in Computer Science who has such a deep insight into language design as Niklaus Wirth. Since the early sixties he has been active in this field and has contributed such seminal languages as Algol-W, Pascal, Modula-2 and Oberon. And being an engineer, he was always as much concerned about the simplicity and efficiency of his compilers as about the elegance of his languages. In this paper I will try to summarize some principles of Wirth's art of compiler construction. Although I have no personal recollections from Wirth's early projects I have studied his compilers from the early eighties on and was lucky to have the chance to work with him for several years during the Oberon project. So this paper is more about what I learned from him and what I appreciate about his work. Wirth himself gave a much more thorough description of his compiler technology in his recent compiler book [22], in his Turing Award lecture [2] and in his recollections at the second conference on the History of Programming Languages [21].
    [Show full text]
  • Wirth Transcript Final
    A. M. Turing Award Oral History Interview with Niklaus Wirth by Elena Trichina ETH, Zürich, Switzerland March 13, 2018 Trichina: My name is Elena Trichina. It is my honor to interview Professor Niklaus Wirth for the Turing Award Winners Project of the Association for Computing Machinery, the ACM. The Turing Award, sometimes referred to as “the Nobel Prize of computing,” is given annually for major contributions of lasting importance in computing. Professor Wirth received his award in 1984 in recognition of his outstanding work in developing a sequence of programming languages – Euler, Algol-W, Pascal, Modula. The hallmarks of Wirth’s languages are their simplicity, economy of design, and high-level engineering. We will talk about it and many other things later today in the interview that takes place on the 13th of March, 2018, in the Swiss Federal Institute of Technology. So we start. Ready? Guten Tag, Niklaus. Gruetzi. Wirth: Добрый ден, Елена Василевна Здравствуи [Good morning, Elena. Hello. – ed.] Trichina: Well, although your command of Russian is sufficient, my command of Swiss German is a little bit rudimentary. Shall we continue in one of the languages where we both feel comfortable? What would it be? French? English? Wirth: Oh, I think English is better for me. Yes, yes. Trichina: Okay. It’s probably better for the audience. [laughs] Wirth: Okay. True. Trichina: Okay. We continue in English. Here in front of me there is a list of the most important days in your life. You were born in February 1934 in Winterthur, which is a sort of middle-size industrial town in Switzerland.
    [Show full text]
  • PL/99, a Mid-Level Programming Language for the TMS9900 Microprocessor
    W&M ScholarWorks Dissertations, Theses, and Masters Projects Theses, Dissertations, & Master Projects 1980 PL/99, a mid-level programming language for the TMS9900 microprocessor Kenneth B. Walkley College of William & Mary - Arts & Sciences Follow this and additional works at: https://scholarworks.wm.edu/etd Part of the Computer Sciences Commons Recommended Citation Walkley, Kenneth B., "PL/99, a mid-level programming language for the TMS9900 microprocessor" (1980). Dissertations, Theses, and Masters Projects. Paper 1539625082. https://dx.doi.org/doi:10.21220/s2-w4zf-1215 This Thesis is brought to you for free and open access by the Theses, Dissertations, & Master Projects at W&M ScholarWorks. It has been accepted for inclusion in Dissertations, Theses, and Masters Projects by an authorized administrator of W&M ScholarWorks. For more information, please contact [email protected]. PL/99 II A Mid-Level Programming Language for the TMS9900 Microprocessor A Thesis Presented to The Faculty of the Program in Applied Science The College of William and Mary in Virginia In Partial Fullfillment Of the Requirements for the Degree of Master of Science by Kenneth B. Walkley 1980 APPROVAL SHEET This thesis is submitted in partial fullfillment of the requirements for the degree of Master of Science (a J ____ 7\ Author Approved, August 1980 ohn C. Knight £? a J. Robert E. Noonan Micha/eT ii TABLE OF CONTENTS Page ACKNOWLEDGEMENTS ..................................... iv ABSTRACT .............................................. v INTRODUCTION .......................................... 2 CHAPTER 1. THE TMS9900 MICROPROCESSOR ................. 5 CHAPTER 2. LANGUAGE DEFINITION ....................... 11 CHAPTER 3. COMPILER DEVELOPMENT AND SEMANTICS ......... 38 CHAPTER 4. SAMPLE PROGRAMS ........................... 62 CHAPTER 5. CONCLUDING REMARKS ........................ 68 APPENDIX ............................................
    [Show full text]
  • A New Analysis of LALR Formalisms
    A New Analysis of LALR Formalisms JOSEPH C. H. PARK, K. M. CHOE, AND C. H. CHANG Korea Advanced Institute of Science and Technology The traditional LALR analysis is reexamined using a new operator and an associated graph. An improved method that allows factoring out a crucial part of the computation for defining states of LR(0) canonical collection and for computing LALR( 1) lookahead sets is presented. This factorization leads to significantly improved algorithms with respect to execution time as well as storage require- ments. Experimental results including comparison with other known methods are presented. Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory-syntax; D.3.4 [Programming Languages]: Processors-compikrs,parsing, trandutor writ- ing systems ancI compiler generators; F.4.2 [Mathematical Logic and Formal Languages]: Gram- mars and Other Rewriting Systems-context free, parsing General Terms: Algorithms, Experimentation, Languages, Theory Additional Key Words and Phrases: LALR(k) grammar, LALR(1) lookahead sets, parser generating system 1. INTRODUCTION Since the original invention of LR parsing by Knuth [8] many years ago, and the subsequent realization of its practicality in the LALR form by DeRemer [5], LALR analysis has been extensively investigated [ 11, and has come to be accepted as the most powerful practical technique known for syntax analysis of program- ming languages modelled as context-free languages. The essential parts of the traditional LALR formalism, namely, those pertain- ing to the definition of states and computation of lookahead sets, are recursive. This, unfortunately, hinders derivation of efficient algorithms needed in imple- menting a practical parser generating system.
    [Show full text]
  • A Rule Based Approach to Program Development
    AN ABSTRACT OF THE THESIS OF Abbas Birjandi for the degree of Doctor of Philosophy in Computer Science presented on May 30, 1986. Title: A Rule Based Approach To Program Development 1^, Redacted for Privacy Abstract approved: V-.... .....r Theodore G. Lewis A rule based transformational model for program development anda meta- tool based on the above model is presented. The meta-toolcan be instantiated to create various program development tools such as tools for building reusable software components, language directed editors, language to language translators, program instrumentation, structured document generator, and adaptive language based prettyprinters. This new rule based approach has two important features:1) it is language independent and can be applied to various languages, and 2) provides a powerful escape mechanism for extending the semantics of the rules. Instances of the meta-tool for restructuring source programs for building ab- stract components and their refinement to concrete instances, source-to-source trans- lation, and source contraction and expansion tools for improving readability and understanding are described. A Rule Based Approach To Program Development By Abbas Birjandi A Thesis submited to Oregon State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy Completed May 30, 1986 Commencement June 1987 APPROVED: , _ Redacted for Privacy Professor of Computer Science in charge of major Redacted for Privacy Head of Department of Computer Science Redacted for Privacy Dean of G a to School ci Date thesis presented May 30, 1986 DEDICATION This dissertation is dedicated to Dr. Bruce D. Shriver for whom I will always be a student and friend.
    [Show full text]