Följ
Frank Emrich
Titel
Citeras av
Citeras av
År
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
J Hensel, F Emrich, F Frohn, T Ströder, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2017
92017
FreezeML: complete and easy type inference for first-class polymorphism
F Emrich, S Lindley, J Stolarek, J Cheney, J Coates
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
62020
Constraint-based type inference for FreezeML
F Emrich, J Stolarek, J Cheney, S Lindley
Proceedings of the ACM on Programming Languages 6 (ICFP), 570-595, 2022
2022
Complete and Easy Type Inference for First-Class Polymorphism
F Emrich, S Lindley, J Stolarek, J Cheney, J Coates
2020
Modular Termination Analysis of C Programs
F Emrich, J Hensel, J Giesl
17th International Workshop on Termination, 27, 0
The Virtues of Semi-Explicit Polymorphism
F Emrich, S Lindley, J Stolarek
Broken Links (Presentation)
F Emrich, D Hillerström
AProVE at the Termination Competition 2018
M Brockschmidt, S Dollase, F Emrich, F Frohn, C Fuhs, J Giesl, M Hark, ...
16th International Workshop on Termination, 78, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8