Spelling

dlesbre · dlesbre · commit 299688781a06 · 2025-01-29T14:06:49.000+01:00
diff --git a/assets/publications/bibtex/2024-pldi-compiling-with-abstract-interpretation.bib b/assets/publications/bibtex/2024-pldi-compiling-with-abstract-interpretation.bib
@@ -25,7 +25,7 @@ @techreport{hal-04535159
 
 @misc{10.5281/zenodo.10895582,
   author = {Dorian Lesbre and Matthieu Lemerre},
-  title = {Compiling with Abstract Interpetation: Artifact},
+  title = {Compiling with Abstract Interpretation: Artifact},
   year = 2024,
   doi = {10.5281/zenodo.10895582},
 }

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ @techreport{hal-04535159`
`25`	`25`
`26`	`26`	`@misc{10.5281/zenodo.10895582,`
`27`	`27`	`author = {Dorian Lesbre and Matthieu Lemerre},`
`28`		`- title = {Compiling with Abstract Interpetation: Artifact},`
	`28`	`+ title = {Compiling with Abstract Interpretation: Artifact},`
`29`	`29`	`year = 2024,`
`30`	`30`	`doi = {10.5281/zenodo.10895582},`
`31`	`31`	`}`