Verified Commit e25c4006 authored by Sven Keidel's avatar Sven Keidel
Browse files

sort publication order

parent aca95de3
Pipeline #126871 passed with stages
in 71 minutes and 9 seconds
......@@ -44,6 +44,11 @@ stack test sturdy-pcf
## Publications
**A Systematic Approach to Abstract Interpretation of Program Transformations**
Sven Keidel and Sebastian Erdweg.
Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer, 2020.
[[pdf](https://svenkeidel.de/papers/program-trans-analysis.pdf)]
**Sound and Reusable Components for Abstract Interpretation**
Sven Keidel and Sebastian Erdweg.
_Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)_.
......@@ -58,11 +63,6 @@ ACM, 2018
[[pdf](https://doi.org/10.1145/3236767)]
[[Talk](https://www.youtube.com/watch?v=zOqSlHAMGt4)]
**A Systematic Approach to Abstract Interpretation of Program Transformations**
Sven Keidel and Sebastian Erdweg.
Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer, 2020.
[[pdf](https://svenkeidel.de/papers/program-trans-analysis.pdf)]
## Acknowledgments
The Sturdy project is a joint effort of the following people (in alphabetical order):
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment