CSC 330 Lecture Notes Week 2 Intro to Programming Language
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Copyright Law of the United States (Title 17, U.S
NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or other reproductions of copyrighted material. Any copying of this document without permission of its author may be prohibited by law. CMU-CS-79-105 An Overview of the Production Quality Compiler-Compiler Project Bruce W. Leverett Roderic G. G. Cattell Steven 0. Hobbs Joseph M. Newcomer Andrew H. Reiner Bruce R. Schatz William A. Wulf Abstract The Production Quality Compiler-Compiler (PQCC) project is an investigation of the code generation process. The practical goal of the project is to build a truly automatic compiler-writing system. Compilers built with this system will be competitive in every respect with the best hand-generated compilers of today. They must generate highly optimized object code, and meet high standards of reliability and reasonable standards of performance. The system must operate from descriptions of both the source language and the target computer. Bringing up a new compiler, given a suitable language description and target architecture description, must be inexpensive and must not require the assistance of builders or maintainers of the compiler-writing system itself. This paper describes the goals and methodology of the PQCC project. This research was sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory Under Contract F33615-78-C-1551. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the US Government. -
Compiler Construction
Compiler construction PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Sat, 10 Dec 2011 02:23:02 UTC Contents Articles Introduction 1 Compiler construction 1 Compiler 2 Interpreter 10 History of compiler writing 14 Lexical analysis 22 Lexical analysis 22 Regular expression 26 Regular expression examples 37 Finite-state machine 41 Preprocessor 51 Syntactic analysis 54 Parsing 54 Lookahead 58 Symbol table 61 Abstract syntax 63 Abstract syntax tree 64 Context-free grammar 65 Terminal and nonterminal symbols 77 Left recursion 79 Backus–Naur Form 83 Extended Backus–Naur Form 86 TBNF 91 Top-down parsing 91 Recursive descent parser 93 Tail recursive parser 98 Parsing expression grammar 100 LL parser 106 LR parser 114 Parsing table 123 Simple LR parser 125 Canonical LR parser 127 GLR parser 129 LALR parser 130 Recursive ascent parser 133 Parser combinator 140 Bottom-up parsing 143 Chomsky normal form 148 CYK algorithm 150 Simple precedence grammar 153 Simple precedence parser 154 Operator-precedence grammar 156 Operator-precedence parser 159 Shunting-yard algorithm 163 Chart parser 173 Earley parser 174 The lexer hack 178 Scannerless parsing 180 Semantic analysis 182 Attribute grammar 182 L-attributed grammar 184 LR-attributed grammar 185 S-attributed grammar 185 ECLR-attributed grammar 186 Intermediate language 186 Control flow graph 188 Basic block 190 Call graph 192 Data-flow analysis 195 Use-define chain 201 Live variable analysis 204 Reaching definition 206 Three address -
T the Formal Description of Programming Languages Using
t The Formal Description of Programming Languages using Predicate Logic by Christopher D.S. Moss Submitted for the Ph.D. Degree Department of Computing Imperial College, London July 1981 1 ABSTRACT Metamorphosis grammars and the Horn Clause subset of first-order predicate logic as used in the Prolog language provide a powerful formalism for describing all aspects of conventional programming languages. Colmerauer's M-grammars generalise the traditional grammar rewriting rules to apply to strings of function symbols with parameters. Expressed in first-order logic and using resolution these provide the facilities of other form- alisms such as W-grammars and Attribute Grammars with great- ly improved ease of use and comprehension and the added advantage that they may be run directly on a computer. The thesis provides a methodology for expressing both syntax and semantics of programming languages in a coherent framework. Unlike some formalisms which attempt to give most of the definition in terms of either syntax or semantics, this tries to preserve a natural balance between the two. The syntax separates lexical and grammar parts and generates an abstract syntax which includes the semantics of 'static' objects such as numbers. The semantics is expressed by means of relations which express state transformations using logic rather than the more traditional lambda calculus. Prolog has a well-defined fixpoint or denotational semantics as well as its proof theoretic semantics, which gives the definitions an adequate mathematical basis. The traditional axiomatic method can also be used to express the semantics using a metalevel proof system in which the proof rules become axioms of the system. -
An Object-Oriented Compiler Construction Toolkit 1 Introduction
An Ob ject-Oriented Compiler Construction To olkit TimothyP. Justice Department of Computer Science Oregon State University Corvallis, Oregon 97331{320 2 [email protected] March 12, 1993 Abstract Although standard to ols have b een used for lexical and syntactic analysis since the late 1970's, no standard to ols exist for the remaining parts of a compiler. Part of the reason for this de ciency is due to the diculty of pro ducing elegant to ols capable of handling the large amountofvariation involved in the compiling pro cess. The Ob ject-oriented Compiler Supp ort to olkit is a suite of reusable software comp onents designed to assist the compiler writer with symb ol management, typ e checking, intermediate representation construction, optimization, and co de generation. A collection of C++ classes de nes a common interface to these to ols. Variations in implementation are encapsulated in separately compiled mo dules that are selected and linked into the resulting compiler. 1 Intro duction A compiler is a program that translates a source language into an equivalent target language. The pro cess of compilation is well studied [ASU86, FL91, Hol90, Pys88]. Standard to ols have b een in use since the late 1970's for lexical analysis and syntactic analysis, however no such standard to ols exist for the remaining parts of a compiler. Perhaps the reason for this has less to do with our understanding of the problem or even the solution than the diculty of expressing an elegant solution that encompasses the large amount of variation existing within the problem. -
Lily: a Parser Generator for LL(1) Languages
Scholars' Mine Masters Theses Student Theses and Dissertations Summer 1987 Lily: A parser generator for LL(1) languages Timothy Topper Taylor Follow this and additional works at: https://scholarsmine.mst.edu/masters_theses Part of the Computer Sciences Commons Department: Recommended Citation Taylor, Timothy Topper, "Lily: A parser generator for LL(1) languages" (1987). Masters Theses. 507. https://scholarsmine.mst.edu/masters_theses/507 This thesis is brought to you by Scholars' Mine, a service of the Missouri S&T Library and Learning Resources. This work is protected by U. S. Copyright Law. Unauthorized use including reproduction for redistribution requires the permission of the copyright holder. For more information, please contact [email protected]. LILY: A PARSER GENERATOR FOR LL(1) LANGUAGES BY TIMOTHY TOPPER TAYLOR, 1961- A THESIS Presented to the Faculty of the Graduate School of the UNIVERSITY OF MISSOURI-ROLLA In Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE IN COMPUTER SCIENCE 1987 Approved by ^ Advisor) / (7 ii ABSTRACT This paper discusses the design and implementation of Lily, a language for generating LL(1) language parsers, originally designed by Dr. Thomas J. Sager of the University of Missouri-Rolla. A method for the automatic generation of parser tables is described which creates small, highly optimized tables, suitable for conversion to minimal perfect hash functions. An implementation of Lily is discussed with attention to design goals, implementation of parser table generation, and table optimization techniques. Proposals are made detailing possibilities for further augmentation of the system. Examples of Lily programs are given as well as a manual for the system. -
Implementing a Global Register Allocator for TCC
Implementing a Global Register Allocator for TCC DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur im Rahmen des Studiums Technische Informatik eingereicht von Sebastian Falbesoner Matrikelnummer 0725433 an der Fakultät für Informatik der Technischen Universität Wien Betreuung: Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Martin Ertl Wien, 22.08.2014 (Unterschrift Verfasser) (Unterschrift Betreuer) Technische Universität Wien A-1040 Wien Karlsplatz 13 Tel. +43-1-58801-0 www.tuwien.ac.at Erklärung zur Verfassung der Arbeit Sebastian Falbesoner Pachmüllergasse 1/14, 1120 Wien Hiermit erkläre ich, dass ich diese Arbeit selbständig verfasst habe, dass ich die verwen- deten Quellen und Hilfsmittel vollständig angegeben habe und dass ich die Stellen der Arbeit – einschließlich Tabellen, Karten und Abbildungen –, die anderen Werken oder dem Internet im Wortlaut oder dem Sinn nach entnommen sind, auf jeden Fall unter Angabe der Quelle als Entlehnung kenntlich gemacht habe. (Ort, Datum) (Unterschrift Verfasser) i In Dankbarkeit gewidmet meinen Eltern Lotte und Josef iii Abstract Register allocation is a long-standing research topic of computer science that has been studied extensively over the last decades. Its goal is to map a theoretically infinite number of program variables onto a finite, small set of CPU registers during compilation. Even though caches try to bridge the gap between register and memory access time, keeping as many values in registers as long as possible is crucial for good performance. Hence register allocation is still considered to be one of the most important compiler optimizations. The present diploma thesis describes the process of implementing a register allocator for TCC, a small single-pass C compiler written in C1.