CSC301

Fundamentals of Programming Languages

Syllabus

Introduction

• Intro & Language Classes

Asteroid

• Asteroid Basics

Types and Type Systems

• Types
• Asteroid Types
• Polymorphism

Functional Programming with Asteroid

• The Basics
• Higher-Order Programming

Logic Programming with Prolog

• Logic as a Programming Language
• Rules
• Arithmetic & I/O
• Advanced Concepts

Memory

• Recursion: Stack & Frames
• Process Memory & Memory Management
• Parameter Passing

Theory

Language specification

• Formal Language Specification
• Grammars in Action
• Grammars & Semantics

Formal semantics

• Operational Semantics
• The Semantics of Variables

These lecture notes are released under the CC-BY-NC-ND license

This site is open source. Improve this page.