编译器课程的内容包括：
ELEC 3662– Embedded Systems Mini Project 1 Overview For the mini-project, you are required to interface the TM4C123GH6PM microcontroller with an external 20 x 4 Liquid Crystal Display (LCD) and 4×4 keypad to design a simple calculator. The goal of the project is to use the LCD and the keypad to perform some simple calculations. …
Assignment 5: Concurrency 15-312: Principles of Programming Languages (Spring 2023) This assignment studies concurrency through the lens of a concurrent programming language known as Concurrent Algol (CA). Effectful computations (involving side-effects) distinguish themselves from “pure” computation by involving some sort of interaction. Think IO effects (user interaction) or reference cells (state/mem- ory interaction). We seek …
(* ****** ****** *) MyOCaml.ml is a class library built for CS320, Fall, 2023 (* ****** ****** *) exception False;; (* ****** ****** *) exception Subscript;; (* ****** ****** *) (** Return the character with the given ASCII code. **) let chr = Char.chr;; (** return the ASCII code of the argument **) let ord …
11/11/23, 10:32 PM Final project description: CSCI 2041 (001) Advanced Programming Principles (Fall 2023) Final project description This final project, you will write a program that can write proofs about ocaml code. The purpose of your program is to have it do homeworks 6 through 8 for you. This means that your program should be …
CSCI 2041 (001) Advanced Programming Principles (Fall 2023) Read More »
COMP3161/9164 23T3 Assignment 2 Type Inference for Polymorphic MinHS Version 1.3.2 Marks : 17.5% of the overall mark Due date: Sunday 19th Tuesday 21st November 2023, 11:59 PM Sydney time Overview In this assignment you will implement type inference for MinHS. The language used in this assignment differs from the language of Assignment 1 in …
Assignment 4: Effects: Control and Storage 15-312: Principles of Programming Languages (Fall 2023) This assignment will familiarize you with effects that are widely present in programming language. Effects, or side effects are umbrella terms used to describe any computational phenomenon that is not fully captured in the return value of an expression. Common examples of …
Homework 8: Optimizations In this homework, you’ll implement some optimizations in your compiler. You’ll also come up with benchmark programs and see how well your optimizations do on a collaboratively-developed benchmark suite. You’ll implement the following optimizations (all of which we discussed in class): Constant propagation Common subexpression elimination In order to make inlining and …
Homework 7: Parsing In this homework, you’ll implement a top-down predictive parser for an alternative syntax for our language. This syntax is called ML (Berkeley), because it bears a vague resemblance to ML-family languages like OCaml. We’ll usually refer to it as MLB. Here’s an example of an MLB program: 1 2 3 4 5 …
COMPSCI 3MI3 – Principles of Programming Languages J. Carette McMaster University Adapted from “Types and Programming Languages” by Benjamin C. Pierce and Nick Moore’s material. J. Carette (McMaster University) Towards the Lambda Calculus Fall 2023 1 / 36 Towards the Lambda Calculus Language Safety “Informally […], safe languages can be defined as ones that make …
CS 3MI3: Fundamentals of Programming Languages Due on Friday, November 10th at 11:59pm EST Dr. Jacques Carette The goals of this assignment are: 1. Learn how to interpret small-step semantics 2. Learn how to translate semantics into an implementation 3. Learn how to identify buggy semantics A project template is available on the course GitHub …