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

Adjust dates of part 4 and part 5 to match real publication dates

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-11-03 17:51:13 -08:00
parent f00c69f02c
commit 9fc2d16fb8
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/04_spa_agda_fixedpoint.md
View File

@ -2,7 +2,7 @@
title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 4: The Fixed-Point Algorithm"
series: "Static Program Analysis in Agda"
description: "In this post, I give a top-level overview of my work on formally verified static analyses"
date: 2024-08-10T17:37:42-07:00
date: 2024-11-03T17:50:26-08:00
tags: ["Agda", "Programming Languages"]
---

2
content/blog/05_spa_agda_semantics/index.md
View File

@ -2,7 +2,7 @@
title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 5: Our Programming Language"
series: "Static Program Analysis in Agda"
description: "In this post, I define the language that well serve as the object of our vartious analyses"
date: 2024-08-10T17:37:43-07:00
date: 2024-11-03T17:50:27-08:00
tags: ["Agda", "Programming Languages"]
custom_js: ["parser.js"]
bergamot: