CMSC 330

Course staff has been working on making problem generators for exams and practice problems.
We have links here for your use.

Made by Nikhil Mittu
- Ocaml: Type to Expression
- Ocaml: Expression to Type
- Lambda Calc: Beta Reduction
Made by Cliff

Finite State Machines: NFA to DFA DFA to Regex
Operational Semantics (helped by Arwen Ferro): Opsem Proof
Type Checking: Type Checker Proof

Quiz Python, HOF, Regex
- Fall 2023 (Solution)

Quiz Ruby
- Spring 2022 (Solution)
- Fall 2022 (Solution)
- Spring 2023 (Solution)

Quiz OCaml

Quiz NFA, DFA
- Old Fall 2017 and Spring 2018 quizzes contain OpSem and CFG
- Fall 2017 Quiz 2 (Solution)
- Fall 2017 Quiz 3 (Solution)
- Spring 2018 Quiz 3 (Solution)
- Spring 2018 Quiz 2 (Solution)
- Fall 2020 (Solution)
- Spring 2021 (Solution)
- Fall 2021 (Solution)
- Spring 2022 (Solution)
- Summer 2022 (Solution)
- Fall 2022 (Solution)
- Fall 2023 (Solution)
- Spring 2024 (Solution)

Quiz OpSem, Parsing, CFG

Quiz Lambda Calculus
Quiz Rust
- Fall 2022 (Solution)
- Fall 2023 (Solution)
- Spring 2024 (Solution)

Exam 1

Exam 2

Final Exam
- Spring 2018 (Solution)
- Fall 2018 (Solution)
- Spring 2019
- Fall 2019 (Solution)
- Fall 2020 (Solution)
- Spring 2021 (Solution)
- Fall 2021 (Solution)
- Spring 2022 (Solution)
- Summer 2022
- Fall 2022
- Summer 2023 (Solution)
- Spring 2023 (Solution)
- Fall 2023 (Solution)
- Spring 2024 (Solution)

Quick Reference

OCaml (4.14)

OCaml

Main OCaml site
Tutorials: at OCaml site and interactive tutorial in the style of Code Academy
Real World OCaml - Excellent (free, on-line) book about how to use OCaml for industrial strength programming.
Developing Applications with Objective Caml - Entire book in html & PDF
Camelia tool for OCaml
Tuareg mode for Emacs
CamlQuiz - Interactive OCaml Tutorial
How to debug OCaml

Rust

Main Rust page https://www.rust-lang.org
Rust installationhttps://www.rust-lang.org/en-US/install.html
Free Rust Book https://doc.rust-lang.org/book/
Rustlings (Coding Exercises) https://github.com/rust-lang/rustlings

Formal grammars and finite automata

Regular Expression Tutorial
Rubular: Regular Expression Tester for Ruby
Pythex: Regular Expression Tester for Python
JFLAP a package of graphical tools which can be used as an aid in learning the basic concepts of Formal Languages and Automata Theory
On-linetool for playing with CFGs
Book: Introduction to the Theory of Computation by Michael Sipser
This book has lots of good explanation. See Sipser's course for more material.
Wikipedia actually has good pages on some of these things (and the references they cite are generally useful too):

Lambda calculus

Overview of lambda calculus at Wikipedia

Ruby On Rails

Rails is a full-stack framework for developing database-backed web applications according to the Model-View-Control pattern.

Git

Learn Git

Other relevant texts

Previous required texts for CMSC 330 have chapters on relevant topics covered in this course. If the lecture notes are insufficient, look for these books. They should be available in the university library.

Concepts of Programming Languages (Seventh Edition) by R. Sebesta, Addison Wesley (2006) (ISBN 0-321-33025-0).
Programming Languages: Design and Implementation (Fourth Edition) by T. Pratt and M. Zelkowitz, Prentice Hall (2001) (ISBN 0-13-027678-2).
O'ReillyHistory of Programming Languages Poster