contents ← prev up next →

CMSC 330 Lecture Notes🔗

These are the course notes for CMSC 330. If you find any errors, unclear explanations, missing material, or have suggestions for improvement, please share anonymous feedback using this form or email anwar@umd.edu.

1 Introduction

2 Functional Programming with OCaml

3 OCaml Modules

4 Imperative Programming with OCaml

5 Property-Based Randomized Testing (PBT)

6 Regular Expressions

7 Finite Automata

8 Context Free Grammars

9 Parsing

10 Operational Semantics

11 Type System

12 Memory Management and Garbage Collection

contents ← prev up next →

1	Introduction
2	Functional Programming with OCaml
3	OCaml Modules
4	Imperative Programming with OCaml
5	Property-Based Randomized Testing (PBT)
6	Regular Expressions
7	Finite Automata
8	Context Free Grammars
9	Parsing
10	Operational Semantics
11	Type System
12	Memory Management and Garbage Collection
13	Rust
14	Lambda Calculus
15	Software Security
16	Exercises