Sven Keidel
Sven Keidel
Vahvistettu sähköpostiosoite verkkotunnuksessa uni-mainz.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
The IDE portability problem and its solution in Monto
S Keidel, W Pfeiffer, S Erdweg
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
102016
Compositional soundness proofs of abstract interpreters
S Keidel, CB Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018
82018
Sound and reusable components for abstract interpretation
S Keidel, S Erdweg
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
32019
A disintegrated development environment
S Keidel
Technische Universität Darmstadt, 2015
22015
Toward abstract interpretation of program transformations
S Keidel, S Erdweg
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta …, 2017
12017
A Systematic Approach to Abstract Interpretation of Program Transformations
S Keidel, S Erdweg
International Conference on Verification, Model Checking, and Abstract …, 2020
2020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–6