12 lines
372 B
Markdown
12 lines
372 B
Markdown
+++
|
|
title = "Implementing and Verifying \"Static Program Analysis\" in Agda"
|
|
summary = """
|
|
In this series, I attempt to formalize the first few chapters of
|
|
[Static Program Analysis](https://cs.au.dk/~amoeller/spa/)
|
|
in Agda. The goal is to have a formally verified, yet executable, static
|
|
analyzer for a simple language.
|
|
"""
|
|
status = "ongoing"
|
|
divider = ": "
|
|
+++
|