Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add tags to Agda articles

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-05-20 21:46:14 -07:00
parent 58e7a1f2dc
commit 84f28ae5ce
3 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
content/blog/00_spa_agda_intro.md
View File

@ -4,6 +4,7 @@ series: "Static Program Analysis in Agda"
description: "In this post, I give a top-level overview of my work on formally verified static analyses" description: "In this post, I give a top-level overview of my work on formally verified static analyses"
date: 2024-04-12T14:23:03-07:00 date: 2024-04-12T14:23:03-07:00
draft: true draft: true
tags: ["Agda", "Programming Languages"]
--- ---
Some years ago, when the Programming Languages research group at Oregon State Some years ago, when the Programming Languages research group at Oregon State

1
content/blog/01_spa_agda_lattices.md
View File

@ -3,6 +3,7 @@ title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 1:
series: "Static Program Analysis in Agda" series: "Static Program Analysis in Agda"
date: 2024-04-13T14:23:03-07:00 date: 2024-04-13T14:23:03-07:00
draft: true draft: true
tags: ["Agda", "Programming Languages"]
--- ---
This is the first post in a series on This is the first post in a series on

1
content/blog/02_spa_agda_combining_lattices.md
View File

@ -3,6 +3,7 @@ title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 2:
series: "Static Program Analysis in Agda" series: "Static Program Analysis in Agda"
date: 2024-04-13T14:23:03-07:01 date: 2024-04-13T14:23:03-07:01
draft: true draft: true
tags: ["Agda", "Programming Languages"]
--- ---
In the previous post, I wrote about how lattices arise when tracking, comparing In the previous post, I wrote about how lattices arise when tracking, comparing