Registered user since Thu 29 May 2014
Name:Sebastian Erdweg
Country:Germany
Affiliation:JGU Mainz
Personal website:https://www.pl.informatik.uni-mainz.de/
Contributions
| VMCAI 2020 | A Systematic Approach to Abstract Interpretation of Program Transformations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile