Interpre'ng and Compiling Intex
|
|
- Regina Hood
- 5 years ago
- Views:
Transcription
1 A New Mini-Language: Intex Interpre'ng and Compiling Intex CS5 Programming Languages Spring 08, Lyn Turbak Department of Computer Science Wellesley College Intex programs are simple arithme'c expressions on integers that can refer to integer arguments. Intex is the first in a sequence of mini-languages that can be extended to culminate in something that is similar to Racket. At each step along the way, we can add features that allow us to study different programming language dimensions. Intex: integer expressions, posi'onal program arguments B: Intex + named arguments & local naming Valex: B + condi'onals, mul'ple kinds of s (booleans, strings, lists), dynamic type checking, and syntac'c sugar HOFL (Racket-like language): Valex + first-class func'ons HOFLEC: HOFL + SML-like mutable cells Intex Intex Syntax Trees & Syntac'c Data Types numargs Intex Div Int Add body datatype pgm = Intex of int * exp and exp = Int of int of int of binop * exp * exp and binop = Add Sub Mul Div Rem (* Sample AST as SOP tree *) val avg = Intex(, (Add,, ), Int )) (* Sample AST as s-expression *) (intex (/ (+ ($ ) ($ )) ) ; can even write: (intex (/ (+ $ $) ) How do we write this Intex program as SML SOP tree? As s-expression? numargs Intex Div Int Mul body Sub Int 3 Int 5 9 Intex 3 Intex 4
2 Intex Implementa'on #: Intex Interpreter in SML Given an avg-in-intex program, how can we execute it? avg machine (I) q avg-in-intex program q Intex interpreter machine (I) ² Intex-in-SML-interpreter program ² SML interpreter machine in wx VM (ignore details) Intex Interpreter Without Error Checking: Skeleton (* Intex.pgm -> int list -> int *) fun run (Intex(numargs, exp)) args =??? (* Intex.exp -> int list -> int *) and eval (Int i) args =??? eval ( ) args =??? eval ((binop, exp, exp)) args =??? (* Intex.binop -> int * int -> int *) and binoptofun Add = op+ binoptofun Mul = op* binoptofun Sub = op- binoptofun Div = (fn(x,y) => x div y) binoptofun Rem = (fn(x,y) => x mod y) Intex 5 Intex 6 Intex Interpreter With Error Checking Try it out exception EvalError of string (* Intex.pgm -> int list -> int *) fun run (Intex(numargs, exp)) args = if numargs <> length args then raise EvalError "Mismatch between expected and actual number of args" else eval exp args - run (Intex(, (Mul,, ))) [5]; val it = 5 : int - run (Intex(,, ))) [5]; val it = : int (* Intex.exp -> int list -> int *) and eval (Int i) args = i eval ( ) args = if ( <= 0) orelse ( > length args) then raise EvalError " out of bounds" else List.nth(args, -) eval ((binop, exp, exp)) args = let val i = eval exp args val i = eval exp args in (case (binop, i) of (Div, 0) => raise EvalError "Division by 0" (Rem,0) => raise EvalError "Remainder by 0" _ => (binoptofun binop)(i, i)) end Intex 7 - run (Intex(,, ))) [0]; uncaught exception EvalError - run avg [5,5]; val it = : int - map (run fc) [[~40], [0], [3], [98], []]; val it = [~40,~8,0,36,0] : int list Intex 8
3 Handling Errors (* Intex.pgm -> int list -> string *) fun testrun pgm args = Int.toString (run pgm args) (* Convert to string so same type as error messages below *) handle EvalError msg => "EvalError: " ^ msg other => "Unknown exception: " ^ (exnmessage other) - testrun (Intex(,, ))) [5]; val it = "" : string - testrun (Intex(,, ))) [0]; val it = "EvalError: Division by 0" : string - map (testrun fc) [[~40], [0], [3], [98], []]; val it = ["~40","~8","0","36","0"] : string list Intex 9 Intex programs as S-expression strings Intex(, (Mul,, ) Intex(, (Add,, ), Int )) "(intex (* ($ ) ($ ))" "(intex (/ (+ ($ ) ($ )) ))" Intex(, (Mul, (Sub,, Int 3), Int 5), Int 9)) "(intex (/ (* (- ($ ) 3) 5) 9))" Intex Running Intex programs as S-expression strings (* string -> string -> string *) fun testrun' pgmsexpstring argssexpstring = testrun (stringtopgm pgmsexpstring) (sexpstringtointlist argssexpstring) handle SexpError (msg, sexp) => ("SexpError: " ^ msg ^ " " ^ (Sexp.sexpToString sexp)) Sexp.IllFormedSexp msg => ("SexpError: Ill-formed sexp " ^ msg) other => "Unknown exception: " ^ (exnmessage other) - testrun' "(intex (/ (+ ($ ) ($ )) ))" "(5 5)"; val it = "" : string - map (testrun' "(intex (/ (* (- ($ ) 3) 5) 9))") = ["(-40)", "(0)", "(3)", "(98)", "()"]; val it = ["~40","~8","0","36","0"] : string list - map (testrun' "(intex (/ ($ ) ($ )))")= = ["(-7)", "(0)", "(4)"]; val it = [","EvalError: Division by 0",""] : string list Intex A Read-Eval-Print Loop (REPL) in Intex - repl(); intex> (+ ) 3 intex> (#args 6 7) intex> (+ ($ ) ($ )) 3 intex> ( * $ $) 4 intex> (#run (intex (/ (+ ($ ) ($ )) )) 5 5) intex> (#run "avg.itx" 5 5) intex> (#run avg.itx 5 5) intex> (#quit) Moriturus te saluto! Intex
4 What do we know about this program? val test = Intex(, (Sub, (Mul,, 3), )) Dynamic vs. Sta'c Checking: Indices Dynamic check (at runjme) : eval ( ) args = if ( <= 0) orelse ( > length args) then raise EvalError " out of bounds" else List.nth(args, -) StaJc check (at compile Jme or checking Jme, before runjme) : Idea: We know numargs from program, so can use this to check all argument references without running the program. Such checks are done by examining thee program syntax tree. O[en there is a choice between a bo)om-up and top-down approach to processing the tree. Intex 3 You will do both approaches for checking in PS9. Intex 4 Sta'c Index Checking: Top Down (PS9). In top-down phase, pass numargs to every subexpression in program.. Check numargs against every. a. Return true for indices that pass test and subexps without arg indices b. Return false if any fails test. true true and and true Sta'c Index Checking: Bo_om Up (PS9). Calculate (min,max) for every subexpression in tree in bo_om-up fashion. Compare (min,max) at root of program body expression to (, numargs), returning true if a subrange and false otherwise. Check if in inclusive range (, numargs) (,) (,) (, - ) (,) (,) Intex 5 Intex 6
5 Intex Implementa'on #: Intex-to-Posaix-compiler in SML Given an avg-in-intex program, how can we execute it? Hand-Compiling Intex to PostFix Manually translate the following Intex programs to equivalent PostFix programs: (intex 0 (* (- 7 4) (/ 8 ))) (intex 4 (* (- $ $) (/ $3 $4))) avg machine (I) q avg-in-postfix program ² avg-in-intex program ² Intex-to-PostFix-compiler machine o Intex-to-PostFix-compiler-in-SML program o SML interpreter machine in wx VM (ignore details) q PostFix interpreter machine (I) ² PostFix-in-SML-interpreter program ² SML interpreter machine in wx VM (ignore details) Intex 7 ReflecJon: How did you figure out how to translate Intex indices into PostFix Nget indices? Intex 8 Can we automate this process? Yes! We can define an intextopostfix func'on with type Intex.pgm -> PostFix.pgm and then use it like this: intextopostfix Skeleton (* val intextopostfix: Intex.pgm -> PostFix.pgm *) fun intextopostfix (Intex.Intex(numargs, exp)) = PostFix.PostFix(numargs, exptocmds exp 0???) (*??? is the initial depth argument *) fun translatestring intexpgmstring = PostFix.pgmToString (intextopostfix (Intex.stringToPgm intexpgmstring)) - translatestring "(intex (* ($ ) ($ )))"; val it = "(postfix nget nget mul)" : string - translatestring "(intex (/ (+ ($ ) ($ )) ))"; val it = "(postfix nget 3 nget add div)" : string - translatestring "(intex 4 (* (- ($ ) ($ )) (/ ($ 3) ($ 4))))"; val it = "(postfix 4 nget 3 nget sub 4 nget 6 nget div mul)" : string Intex 9 (* val exptocmds: Intex.exp -> PostFix.cmd list *) (* depth arg statically tracks how many s are on stack above the program arguments *) and exptocmds (Intex.Int i) depth =??? exptocmds (Intex. ) depth =??? [PostFix.Int ( + depth), PostFix.Nget] (* specified argument is on stack at + depth *) exptocmds (Intex.(binop,exp,exp)) depth =??? (exptocmds exp depth) (* st rand is at same depth as whole binapp (exptocmds exp (depth + )) (* for nd rand, add to depth to account for st rand [PostFix.Arithop (binoptoarithop binop)] and binoptoarithop Intex.Add = PostFix.Add binoptoarithop Intex.Sub = PostFix.Sub binoptoarithop Intex.Mul = PostFix.Mul binoptoarithop Intex.Div = PostFix.Div binoptoarithop Intex.Rem = PostFix.Rem Intex 0
Interpre'ng and Compiling Intex SOLUTIONS
A New Mini-Language: Intex Interpre'ng and Compiling Intex SOLUTIONS CS5 Programming Languages Fall 08, Lyn Turbak Department of Computer Science Wellesley College Intex programs are simple arithme'c expressions
More informationInterpre'ng and Compiling Intex
Interpre'ng and Compiling Intex A New Mini-Language: Intex Intex programs are simple arithme'c expressions on integers that can refer to integer arguments. Intex is the first in a sequence of mini-languages
More informationMetaprogramming in SML: PostFix and S-expressions
Metaprogramming in SML: PostFix and S-expressions CS251 Programming Languages Spring 2017, Lyn Turbak Department of Computer Science Wellesley College Recall the Racket PostFix Interpreter ;; Contents
More informationMetaprogramming in SML: PostFix and S-expressions
Metaprogramming in SML: PostFix and S-expressions CS251 Programming Languages Spring 2018, Lyn Turbak Department of Computer Science Wellesley College Recall the Racket PostFix Interpreter ;; Contents
More informationCS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College
A PostFix Interpreter in Racket CS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College PostFix PostFix is a stack- based mini- language that will be our first
More informationPostFix. PostFix command semanccs (except exec) PostFix Syntax. A PostFix Interpreter in Racket. CS251 Programming Languages Fall 2017, Lyn Turbak
PostFix A PostFix Interpreter in Racket CS251 Programming Languages Fall 2017, Lyn Turbak Department of Computer Science Wellesley College PostFix is a stack-based mini-language that will be our first
More informationValex: Mul*ple Value Types, Condi*onals, Dynamic Type Checking and Desugaring
Valex: Mul*ple Value Types, Condi*onals, Dynamic Type Checking and Desugaring CS251 Programming Languages Fall 201, Lyn Turbak Department of Computer Science Wellesley College A New Mini-Language: Valex
More informationValex: Mul*ple Value Types, Condi*onals, Dynamic Type Checking and Desugaring SOLUTIONS
Valex: Mul*ple Value Types, Condi*onals, Dynamic Type Checking and Desugaring SOLUTIONS CS251 Programming Languages Spring 2018, Lyn Turbak Department of Computer Science Wellesley College A New Mini-Language:
More informationBindex: Naming, Free Variables, and Environments
Review: Scope and Lexical Contours Bindex: Naming, Free Variables, and Environments scope = area of program where declared name can be used. Show scope in Racket via lexical contours in scope diagrams.
More informationBindex: Naming, Free Variables, and Environments SOLUTIONS
Review: Scope and Lexical Contours Bindex: Naming, Free Variables, and Environments CS251 Programming Languages Fall 2018, Lyn Turbak Department of Computer Science Wellesley College scope = area of program
More informationCS301 Compiler Design and Implementation Handout # 18 Prof. Lyn Turbak February 19, 2003 Wellesley College
CS30 Compiler Design and Implementation Handout # 8 Prof. Lyn Turbak February 9, 003 Wellesley College Intex: An Introduction to Program Manipulation Introduction An interpreter is a program written in
More informationPostFix. PostFix command semanccs (except exec) PostFix Syntax. A PostFix Interpreter in Racket. CS251 Programming Languages Spring 2018, Lyn Turbak
PostFix A PostFix Interpreter in Racket CS251 Programming Languages Spring 2018, Lyn Turbak Department of Computer Science Wellesley College PostFix is a stack-based mini-language that will be our first
More informationHofl, a Higher-order Functional Language. 1 An Overview of Hofl. 2 Abstractions and Function Applications
CS251 Programming Languages Handout # 1 Prof. Lyn Turbak May 09, 2018 Wellesley College Hofl, a Higher-order Functional Language Hofl (Higher Order Functional Language) is a language that extends Valex
More informationIntroduc)on To Standard ML
The ML Programming Language Introduc)on To Standard ML CS251 Programming Languages Spring 2018 Lyn Turbak Department of Computer Science Wellesley College ML (Meta Language) was developed by Robin Milner
More informationProblem Set 5 Due:??
CS251 Programming Languages Handout #?? Prof. Lyn Turbak??, 2008 Wellesley College Problem Set 5 Due:?? Overview: The individual problem on this assignment tests your understanding of first-class functions,
More informationHofl: First-class Functions and Scoping
CS251 Programming Languages Handout # 34 Prof. Lyn Turbak April 21, 2005 Wellesley College Hofl: First-class Functions and Scoping This is a preliminary version that does not include a discussion of bindrec.
More informationCS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College
Functions in Racket CS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College Racket Func+ons Functions: most important building block in Racket (and 251) Functions/procedures/methods/subroutines
More informationCS251 Programming Languages Handout # 29 Prof. Lyn Turbak March 7, 2007 Wellesley College
CS5 Programming Languages Handout # 9 Prof. Lyn Turbak March, 00 Wellesley College Postfix: A Simple Stack Language Several exercises and examples in this course will involve the Postfix mini-language.
More informationFOFL and FOBS: First-Order Functions
CS251 Programming Languages Handout # 35 Prof. Lyn Turbak April 14, 2005 Wellesley College Revised April 24, 2005 FOFL and FOBS: First-Order Functions Revisions: Apr 24 : In the interpreters for Fofl and
More informationWays to implement a language
Interpreters Implemen+ng PLs Most of the course is learning fundamental concepts for using PLs Syntax vs. seman+cs vs. idioms Powerful constructs like closures, first- class objects, iterators (streams),
More informationFunc+on applica+ons (calls, invoca+ons)
Func%ons in Racket Racket Functions: most important building block in Racket (and 25) Functions/procedures/methods/subroutines abstract over computations Like Java methods, Python functions have arguments
More informationValex: Primitive Operators and Desugaring
CS251 Programming Languages Handout # 31 Prof Lyn Turbak March 15, 2005 Wellesley College Valex: Primitive Operators and Desugaring Valex is a language that extends Bindex with several new primitive data
More informationCSE 341 Section 5. Winter 2018
CSE 341 Section 5 Winter 2018 Midterm Review! Variable Bindings, Shadowing, Let Expressions Boolean, Comparison and Arithmetic Operations Equality Types Types, Datatypes, Type synonyms Tuples, Records
More informationMetaprogramming: InterpretaBon
How to implement a programming language Metaprogramming These slides borrow heavily from Ben Wood s Fall 15 slides. CS251 ming Languages Fall 2017, Lyn Turbak Department of Computer Science Wellesley College
More informationLISP: LISt Processing
Introduc)on to Racket, a dialect of LISP: Expressions and Declara)ons LISP: designed by John McCarthy, 1958 published 1960 CS251 Programming Languages Spring 2017, Lyn Turbak Department of Computer Science
More informationCS 360 Programming Languages Interpreters
CS 360 Programming Languages Interpreters Implementing PLs Most of the course is learning fundamental concepts for using and understanding PLs. Syntax vs. semantics vs. idioms. Powerful constructs like
More informationCSE 341 Section 7. Eric Mullen Spring Adapted from slides by Nicholas Shahan, Dan Grossman, and Tam Dang
CSE 341 Section 7 Eric Mullen Spring 2017 Adapted from slides by Nicholas Shahan, Dan Grossman, and Tam Dang Outline Interpreting LBI (Language Being Implemented) Assume Correct Syntax Check for Correct
More informationCS115 - Module 10 - General Trees
Fall 2017 Reminder: if you have not already, ensure you: Read How to Design Programs, Sections 15 and 16. Arithmetic Expressions Recall with binary trees we could represent an expression containing binary
More informationFunctions & First Class Function Values
Functions & First Class Function Values PLAI 1st ed Chapter 4, PLAI 2ed Chapter 5 The concept of a function is itself very close to substitution, and to our with form. Consider the following morph 1 {
More informationCSE341: Programming Languages Lecture 9 Function-Closure Idioms. Dan Grossman Fall 2011
CSE341: Programming Languages Lecture 9 Function-Closure Idioms Dan Grossman Fall 2011 More idioms We know the rule for lexical scope and function closures Now what is it good for A partial but wide-ranging
More informationCVO103: Programming Languages. Lecture 5 Design and Implementation of PLs (1) Expressions
CVO103: Programming Languages Lecture 5 Design and Implementation of PLs (1) Expressions Hakjoo Oh 2018 Spring Hakjoo Oh CVO103 2018 Spring, Lecture 5 April 3, 2018 1 / 23 Plan Part 1 (Preliminaries):
More informationCSE341, Spring 2013, Final Examination June 13, 2013
CSE341, Spring 2013, Final Examination June 13, 2013 Please do not turn the page until 8:30. Rules: The exam is closed-book, closed-note, except for both sides of one 8.5x11in piece of paper. Please stop
More informationCSE 341 Section 7. Ethan Shea Autumn Adapted from slides by Nicholas Shahan, Dan Grossman, Tam Dang, and Eric Mullen
CSE 341 Section 7 Ethan Shea Autumn 2018 Adapted from slides by Nicholas Shahan, Dan Grossman, Tam Dang, and Eric Mullen Outline Interpreting MUPL Assume Correct Syntax Check for Correct Semantics Evaluating
More informationA LISP Interpreter in ML
UNIVERSITY OF OSLO Department of Informatics A LISP Interpreter in ML Mandatory Assignment 1 INF3110 September 21, 2009 Contents 1 1 Introduction The purpose of this assignment is to write an interpreter,
More informationCS251 Programming Languages Handout # 36 Prof. Lyn Turbak April 4, 2007 Wellesley College Revised April 14, Scoping in Hofl
CS251 Programming Languages Handout # 36 Prof. Lyn Turbak April 4, 2007 Wellesley College Revised April 14, 2007 Scoping in Hofl April 10 Added a new section on the handling of bindrec in the substitution
More informationHomework 3 COSE212, Fall 2018
Homework 3 COSE212, Fall 2018 Hakjoo Oh Due: 10/28, 24:00 Problem 1 (100pts) Let us design and implement a programming language called ML. ML is a small yet Turing-complete functional language that supports
More informationCSc 520. Principles of Programming Languages 11: Haskell Basics
CSc 520 Principles of Programming Languages 11: Haskell Basics Christian Collberg Department of Computer Science University of Arizona collberg@cs.arizona.edu Copyright c 2005 Christian Collberg April
More informationCSE 341, Autumn 2005, Assignment 3 ML - MiniML Interpreter
Due: Thurs October 27, 10:00pm CSE 341, Autumn 2005, Assignment 3 ML - MiniML Interpreter Note: This is a much longer assignment than anything we ve seen up until now. You are given two weeks to complete
More informationSum-of-Product (SOP) Datatypes in SML
Mo>va>ng SOP example: geometric figures Sum-of-Product (SOP) Datatypes in SML Suppose we want to represent geometric figures like circles, rectangles, and triangles so that we can do things like calculate
More informationCMSC 330: Organization of Programming Languages. OCaml Imperative Programming
CMSC 330: Organization of Programming Languages OCaml Imperative Programming CMSC330 Spring 2018 1 So Far, Only Functional Programming We haven t given you any way so far to change something in memory
More informationCS153: Compilers Lecture 15: Local Optimization
CS153: Compilers Lecture 15: Local Optimization Stephen Chong https://www.seas.harvard.edu/courses/cs153 Announcements Project 4 out Due Thursday Oct 25 (2 days) Project 5 out Due Tuesday Nov 13 (21 days)
More informationA quick introduction to SML
A quick introduction to SML CMSC 15300 April 9, 2004 1 Introduction Standard ML (SML) is a functional language (or higherorder language) and we will use it in this course to illustrate some of the important
More informationPrinciples of Programming Languages
Principles of Programming Languages Lesson 14 Type Checking Collaboration and Management Dana Fisman www.cs.bgu.ac.il/~ppl172 1 Type Checking We return to the issue of type safety we discussed informally,
More informationInstructor: Randy H. Katz hap://inst.eecs.berkeley.edu/~cs61c/fa13. Fall Lecture #7. Warehouse Scale Computer
CS 61C: Great Ideas in Computer Architecture Everything is a Number Instructor: Randy H. Katz hap://inst.eecs.berkeley.edu/~cs61c/fa13 9/19/13 Fall 2013 - - Lecture #7 1 New- School Machine Structures
More informationRuby: Introduction, Basics
Ruby: Introduction, Basics Computer Science and Engineering College of Engineering The Ohio State University Lecture 3 Ruby vs Java: Similarities Imperative and object-oriented Classes and instances (ie
More informationProblem Set CVO 103, Spring 2018
Problem Set CVO 103, Spring 2018 Hakjoo Oh Due: 06/12 (in class) Problem 1 The Fibonacci numbers can be defined as follows: 0 if n = 0 fib(n) = 1 if n = 1 fib(n 1) + fib(n 2) otherwise Write in OCaml the
More informationCS 6353 Compiler Construction Project Assignments
CS 6353 Compiler Construction Project Assignments In this project, you need to implement a compiler for a language defined in this handout. The programming language you need to use is C or C++ (and the
More informationRacket Values. cons Glues Two Values into a Pair. The Pros of cons: Pairs and Lists in Racket. Box-and-pointer diagrams for cons trees
The Pros of cons: in Racket CS251 Programming Languages Fall 2018, Lyn Turbak Department of Computer Science Wellesley College booleans: #t, #f numbers: integers: 42, 0, -273 ra3onals: 2/3, -251/17 floa3ng
More informationCSE341 Spring 2017, Final Examination June 8, 2017
CSE341 Spring 2017, Final Examination June 8, 2017 Please do not turn the page until 8:30. Rules: The exam is closed-book, closed-note, etc. except for both sides of one 8.5x11in piece of paper. Please
More informationCSc 372. Comparative Programming Languages. 4 : Haskell Basics. Department of Computer Science University of Arizona
1/40 CSc 372 Comparative Programming Languages 4 : Haskell Basics Department of Computer Science University of Arizona collberg@gmail.com Copyright c 2013 Christian Collberg 2/40 The Hugs Interpreter The
More informationProgramming Languages: Application and Interpretation
Programming Languages: Application and Interpretation Version 6.7 October 26, 2016 This is the documentation for the software accompanying the textbook Programming Languages: Application and Interpretation
More informationCSc 372 Comparative Programming Languages. 4 : Haskell Basics
CSc 372 Comparative Programming Languages 4 : Haskell Basics Christian Collberg Department of Computer Science University of Arizona collberg@gmail.com Copyright c 2011 Christian Collberg August 23, 2011
More informationLanguages and Compiler Design II IR Code Generation I
Languages and Compiler Design II IR Code Generation I Material provided by Prof. Jingke Li Stolen with pride and modified by Herb Mayer PSU Spring 2010 rev.: 4/16/2010 PSU CS322 HM 1 Agenda Grammar G1
More informationFunctional Programming. Pure Functional Programming
Functional Programming Pure Functional Programming Computation is largely performed by applying functions to values. The value of an expression depends only on the values of its sub-expressions (if any).
More informationDatatype declarations
Datatype declarations datatype suit = HEARTS DIAMONDS CLUBS SPADES datatype a list = nil (* copy me NOT! *) op :: of a * a list datatype a heap = EHEAP HEAP of a * a heap * a heap type suit val HEARTS
More informationExercises on ML. Programming Languages. Chanseok Oh
Exercises on ML Programming Languages Chanseok Oh chanseok@cs.nyu.edu Dejected by an arcane type error? - foldr; val it = fn : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b - foldr (fn x=> fn y => fn z => (max
More informationWe ve written these as a grammar, but the grammar also stands for an abstract syntax tree representation of the IR.
CS 4120 Lecture 14 Syntax-directed translation 26 September 2011 Lecturer: Andrew Myers We want to translate from a high-level programming into an intermediate representation (IR). This lecture introduces
More informationPrinciples of Programming Languages
Principles of Programming Languages h"p://www.di.unipi.it/~andrea/dida2ca/plp- 14/ Prof. Andrea Corradini Department of Computer Science, Pisa Lesson 11! Syntax- Directed Transla>on The Structure of the
More informationLecture 3: Recursion; Structural Induction
15-150 Lecture 3: Recursion; Structural Induction Lecture by Dan Licata January 24, 2012 Today, we are going to talk about one of the most important ideas in functional programming, structural recursion
More information15 150: Principles of Functional Programming. Exceptions
15 150: Principles of Functional Programming Exceptions Michael Erdmann Spring 2018 1 Topics Exceptions Referential transparency, revisited Examples to be discussed: Dealing with arithmetic errors Making
More informationProgramming Languages and Techniques (CIS120)
Programming Languages and Techniques (CIS120) Lecture 20 Feb 29, 2012 Transi@on to Java II DON T PANIC Smoothing the transi@on Eclipse set- up instruc@ons in lab today/tomorrow First Java homework assignment
More informationLecture 2: SML Basics
15-150 Lecture 2: SML Basics Lecture by Dan Licata January 19, 2012 I d like to start off by talking about someone named Alfred North Whitehead. With someone named Bertrand Russell, Whitehead wrote Principia
More informationCS 6353 Compiler Construction Project Assignments
CS 6353 Compiler Construction Project Assignments In this project, you need to implement a compiler for a language defined in this handout. The programming language you need to use is C or C++ (and the
More informationChapter 2 SML, a Functional Programming Language
Plan Chapter 2 SML, a Functional Programming Language 1. Expressions... 2.2 2. Value declarations... 2.13 3. Function declarations... 2.16 4. Type inference... 2.18 5. Anonymous functions... 2.20 6. Specifications...
More information2.1. Expressions. Chapter 2 SML, a Functional Programming Language. Integers. Interacting with ML
Plan Chapter 2 SML, a Functional Programming Language 1. Expressions... 2.2 2. Value declarations... 2.13 3. Function declarations... 2.16 4. Type inference... 2.18 5. Anonymous functions... 2.20 6. Specifications...
More informationCSE341: Programming Languages Lecture 9 Function-Closure Idioms. Dan Grossman Winter 2013
CSE341: Programming Languages Lecture 9 Function-Closure Idioms Dan Grossman Winter 2013 More idioms We know the rule for lexical scope and function closures Now what is it good for A partial but wide-ranging
More informationOverview. Factorial Revisited. Iteration via Tail Recursion in Racket. An itera*ve approach to factorial. What is itera*on?
Iteration via Tail Recursion in Racket CS251 Programming Languages Spring 2019, Lyn Turbak What is itera*on? Overview Racket has no loops, and yet can express itera*on. How can that be? - Tail recursion!
More informationCSE3322 Programming Languages and Implementation
Monash University School of Computer Science & Software Engineering Sample Exam 2003 CSE3322 Programming Languages and Implementation Total Time Allowed: 3 Hours 1. Reading time is of 10 minutes duration.
More informationBegin at the beginning
Begin at the beginning Expressions (Syntax) Exec-time Dynamic Values (Semantics) Compile-time Static Types 1. Programmer enters expression 2. ML checks if expression is well-typed Using a precise set of
More informationCMSC 330: Organization of Programming Languages
CMSC 330: Organization of Programming Languages Operational Semantics CMSC 330 Summer 2018 1 Formal Semantics of a Prog. Lang. Mathematical description of the meaning of programs written in that language
More informationCSE341 Autumn 2017, Midterm Examination October 30, 2017
CSE341 Autumn 2017, Midterm Examination October 30, 2017 Please do not turn the page until 2:30. Rules: The exam is closed-book, closed-note, etc. except for one side of one 8.5x11in piece of paper. Please
More informationComputer Science CSC324 Wednesday February 13, Homework Assignment #3 Due: Thursday February 28, 2013, by 10 p.m.
Computer Science CSC324 Wednesday February 13, 2013 St. George Campus University of Toronto Homework Assignment #3 Due: Thursday February 28, 2013, by 10 p.m. Silent Policy A silent policy takes effect
More informationList Processing in SML
List Processing in SML CS251 Programming Languages Spring 2017 Lyn Turbak, Meera Hejmadi, Mary Ruth Ngo, & Angela Wu Department of Computer Science Wellesley College Consing Elements into Lists - val nums
More informationASTs, Objective CAML, and Ocamlyacc
ASTs, Objective CAML, and Ocamlyacc Stephen A. Edwards Columbia University Fall 2012 Parsing and Syntax Trees Parsing decides if the program is part of the language. Not that useful: we want more than
More informationCSCI 2041: Functions, Mutation, and Arrays
CSCI 2041: Functions, Mutation, and Arrays Chris Kauffman Last Updated: Fri Sep 14 15:06:04 CDT 2018 1 Logistics OCaml System Manual: 1.1-1.3 Practical OCaml: Ch 1-2 OCaml System Manual: 25.2 (Pervasives
More informationScheme in Scheme: The Metacircular Evaluator Eval and Apply
Scheme in Scheme: The Metacircular Evaluator Eval and Apply CS21b: Structure and Interpretation of Computer Programs Brandeis University Spring Term, 2015 The metacircular evaluator is A rendition of Scheme,
More informationCSE341 Spring 2017, Final Examination June 8, 2017
CSE341 Spring 2017, Final Examination June 8, 2017 Please do not turn the page until 8:30. Rules: The exam is closed-book, closed-note, etc. except for both sides of one 8.5x11in piece of paper. Please
More informationCSE 413 Languages & Implementation. Hal Perkins Winter 2019 Structs, Implementing Languages (credits: Dan Grossman, CSE 341)
CSE 413 Languages & Implementation Hal Perkins Winter 2019 Structs, Implementing Languages (credits: Dan Grossman, CSE 341) 1 Goals Representing programs as data Racket structs as a better way to represent
More informationProgramming Languages and Compilers (CS 421)
Programming Languages and Compilers (CS 421) #3: Closures, evaluation of function applications, order of evaluation #4: Evaluation and Application rules using symbolic rewriting Madhusudan Parthasarathy
More informationCSci 4223 Lecture 18 April 3, 2013 Topics: OOP vs. FP
CSci 4223 Lecture 18 April 3, 2013 Topics: OOP vs. FP 1 Object-oriented programming vs. functional programming We ve now seen the core features of both OOP and FP. Let s compare the two paradigms, and
More information2.1. Expressions. Chapter 2 ML, a Functional Programming Language. Integers. Interacting with ML
Plan Chapter 2 ML, a Functional Programming Language 1. Expressions... 2.2 2. Value declarations... 2.13 3. Function declarations... 2.16 4. Type inference... 2.18 5. Anonymous functions... 2.20 6. Specifications...
More informationCIS 194: Homework 3. Due Wednesday, February 11, Interpreters. Meet SImPL
CIS 194: Homework 3 Due Wednesday, February 11, 2015 Interpreters An interpreter is a program that takes another program as an input and evaluates it. Many modern languages such as Java 1, Javascript,
More informationCSE341 Autumn 2017, Final Examination December 12, 2017
CSE341 Autumn 2017, Final Examination December 12, 2017 Please do not turn the page until 2:30. Rules: The exam is closed-book, closed-note, etc. except for both sides of one 8.5x11in piece of paper. Please
More informationList Processing in SML
CS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College Consing Elements into Lists - val nums = 9 :: 4 :: 7 :: []; val nums = [9,4,7] : int list - 5 :: nums;
More informationOverview. Iteration via Tail Recursion in Racket SOLUTIONS. Factorial Revisited. An itera*ve approach to factorial
Overview Iteration via Tail Recursion in Racket SOLUTIONS CS251 Programming Languages Spring 2018, Lyn Turbak What is itera*on? Racket has no loops, and yet can express itera*on. How can that be? - Tail
More informationML 4 A Lexer for OCaml s Type System
ML 4 A Lexer for OCaml s Type System CS 421 Fall 2017 Revision 1.0 Assigned October 26, 2017 Due November 2, 2017 Extension November 4, 2017 1 Change Log 1.0 Initial Release. 2 Overview To complete this
More informationRuby: Introduction, Basics
Ruby: Introduction, Basics Computer Science and Engineering College of Engineering The Ohio State University Lecture 4 Ruby vs Java: Similarities Imperative and object-oriented Classes and instances (ie
More informationList Processing in Ocaml
CS251 Programming Languages Handout # 14 Prof. Lyn Turbak February 2, 2007 Wellesley College List Processing in Ocaml Given a list of integers ns, suppose we want to return a new list of the same length
More informationModule 9: Trees. If you have not already, make sure you. Read How to Design Programs Sections 14, 15, CS 115 Module 9: Trees
Module 9: Trees If you have not already, make sure you Read How to Design Programs Sections 14, 15, 16. 1 CS 115 Module 9: Trees Mathematical Expressions We are going to discuss how to represent mathematical
More informationControl in Sequential Languages
CS 242 2012 Control in Sequential Languages Reading: Chapter 8, Sections 8.1 8.3 (only) Section 7.3 of The Haskell 98 Report, Exception Handling in the I/O Monad, http://www.haskell.org/onlinelibrary/io-13.html
More informationCode Genera*on for Control Flow Constructs
Code Genera*on for Control Flow Constructs 1 Roadmap Last *me: Got the basics of MIPS CodeGen for some AST node types This *me: Do the rest of the AST nodes Introduce control flow graphs Scanner Parser
More informationA First Look at ML. Chapter Five Modern Programming Languages, 2nd ed. 1
A First Look at ML Chapter Five Modern Programming Languages, 2nd ed. 1 ML Meta Language One of the more popular functional languages (which, admittedly, isn t saying much) Edinburgh, 1974, Robin Milner
More informationBasic Scheme February 8, Compound expressions Rules of evaluation Creating procedures by capturing common patterns
Basic Scheme February 8, 2007 Compound expressions Rules of evaluation Creating procedures by capturing common patterns Previous lecture Basics of Scheme Expressions and associated values (or syntax and
More informationFunctional programming Primer I
Functional programming Primer I COS 320 Compiling Techniques Princeton University Spring 2016 Lennart Beringer 1 Characteristics of functional programming Primary notions: functions and expressions (not
More information6.001, Spring Semester, 1998, Final Exam Solutions Your Name: 2 Part c: The procedure eval-until: (define (eval-until exp env) (let ((return (eval-seq
1 MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001 Structure and Interpretation of Computer Programs Spring Semester, 1998, Final Exam Solutions Your
More informationFall Lecture 3 September 4. Stephen Brookes
15-150 Fall 2018 Lecture 3 September 4 Stephen Brookes Today A brief remark about equality types Using patterns Specifying what a function does equality in ML e1 = e2 Only for expressions whose type is
More informationLecture 2: Big-Step Semantics
Lecture 2: Big-Step Semantics 1 Representing Abstract Syntax These are examples of arithmetic expressions: 2 * 4 1 + 2 + 3 5 * 4 * 2 1 + 2 * 3 We all know how to evaluate these expressions in our heads.
More informationMid-Term 2 Grades
Mid-Term 2 Grades 100 46 1 HW 9 Homework 9, in untyped class interpreter: Add instanceof Restrict field access to local class Implement overloading (based on argument count) Due date is the same as for
More informationMore On Syntax Directed Translation
More On Syntax Directed Translation 1 Types of Attributes We have productions of the form: A X 1 X 2 X 3... X n with semantic rules of the form: b:= f(c 1, c 2, c 3,..., c n ) where b and the c s are attributes
More informationHard deadline: 3/28/15 1:00pm. Using software development tools like source control. Understanding the environment model and type inference.
CS 3110 Spring 2015 Problem Set 3 Version 0 (last modified March 12, 2015) Soft deadline: 3/26/15 11:59pm Hard deadline: 3/28/15 1:00pm Overview In this assignment you will implement several functions
More information