代写各种语言的scanner, parser, interpreter 和 compiler.
Assignment 2: Induction, Coinduction, and Recursion 15-312: Principles of Programming Languages (Fall 2023) In this assignment, we’ll explore generic programming with inductive and coinductive types, em- bedded in Standard ML. In functional programming lingo, this technique is often called “recursion schemes”.1 We will then consider how to formally prove code using inductive and coinductive types …
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 …
Assignment 1: Statics and Dynamics, Safety, and Finite Data Types 15-312: Principles of Programming Languages (Fall 2023) On this assignment, you will implement the statics and dynamics of a simple programming language, PSF, which has product, sum, and function types. You will also prove that the language is safe, showing some cases of progress and …
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 …
15–312: Principles of Programming Languages Final Examination May 9, 2017 1pm to 4pm • There are 18 pages in this examination, comprising 5 questions worth a total of 120 points. • You may refer to your personal notes and to Practical Foundations of Programming Languages, but not to any other person or source. • You …
15–312: Principles of Programming Languages Midterm Examination March 9, 2017 • There are 14 pages in this examination, comprising 3 questions worth a total of 90 points. • You may refer to your personal notes and to Practical Foundations of Programming Languages, but not to any other person or source. • You may use your …
Assignment 0: Judgments, Rules, and Church’s λ-Calculus 15-312: Principles of Programming Languages (Fall 2023) Welcome to 15-312! In this assignment, we will explore foundational concepts in programming languages through the lens of Church’s λ-calculus. In this first assignment, we are introducing the use of inductive definitions of judgments about terms in the λ-calculus. The λ-calculus …
GT CS 7280: Network Science Assignment 1: Getting Started with NetworkX Spring 2024 The objective of this assignment is to provide an introduction to working with NetworkX and review some linear algebra concepts. By the end of this assignment you will able to: ● Generate graphs with NetworkX. ● Import datasets for analysis. ● Understand …
The Australian National University Final Examination – November 2020 Comp2310 & Comp6310 Systems, Networks and Concurrency Study period: Time allowed: Total marks: Permitted materials: 15 minutes 3.5 hours (after study period) 100 Questions are not equally weighted – sizes of answer boxes do not nec- essarily relate to the number of marks given for this …
Homework 8: Ajax, JSON, Responsive Design and Node.js Stock Search (AJAX/JSON/HTML5/Bootstrap/Angular /Node.js/Cloud Exercise) 1. Objectives ● Get familiar with the AJAX and JSON technologies ● Use a combination of HTML5, Bootstrap and Angular on client side ● Use Node.js on server side ● Get familiar with Bootstrap to enhance the user experience using responsive design …