Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/yegor256/ppa

Practical Program Analysis (academic course) presented in Innopolis University in 2023
https://github.com/yegor256/ppa

course formal-grammar formal-semantics latex lecture-notes program-analysis programming-language

Last synced: about 2 months ago
JSON representation

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Host: GitHub
URL: https://github.com/yegor256/ppa
Owner: yegor256
License: mit
Created: 2022-11-24T03:18:19.000Z (about 2 years ago)
Default Branch: master
Last Pushed: 2024-10-17T16:44:26.000Z (2 months ago)
Last Synced: 2024-10-20T00:41:20.397Z (2 months ago)
Topics: course, formal-grammar, formal-semantics, latex, lecture-notes, program-analysis, programming-language
Language: TeX
Homepage: https://yegor256.github.io/ppa/
Size: 22.7 MB
Stars: 8
Watchers: 3
Forks: 0
Open Issues: 1
Metadata Files:
- Readme: README.md
- License: LICENSE.txt

Awesome Lists containing this project

README

        # Practical Program Analysis, Lecture Notes

[![latexmk](https://github.com/yegor256/ppa/actions/workflows/latexmk.yml/badge.svg?branch=master)](https://github.com/yegor256/ppa/actions/workflows/latexmk.yml)

There are slides for the series of my lectures for 3rd year BSc

students of Innopolis University, in 2023.

All recorded videos are in [this YouTube playlist][playlist].

All compiled slide decks in PDF are [here](https://yegor256.github.io/ppa/).

To compile everything just run:

```bash

make

```

To clean everything up, do:

```bash

make clean

```

You need to have

[LaTeX](https://en.wikipedia.org/wiki/LaTeX),

[`aspell`](http://aspell.net/),

[`texsc`](https://rubygems.org/gems/texsc),

and

[`texqc`](https://rubygems.org/gems/texqc)

installed.

**Disclaimer**: All visual and text materials presented in

this slidedeck are either originally made by the author or taken from public

Internet sources, such as website. Copyright belongs to their respected

authors.

[playlist]: https://www.youtube.com/playlist?list=PLaIsQH4uc08wdXIC4utfgMxV_iswE9_Md