Frank Emrich

Orcid: 0000-0002-8591-2740

According to our database¹, Frank Emrich authored at least 4 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.

[BibT_eX]

[DOI]

Frank Emrich

Jera Hensel

Jürgen Giesl

CoRR, 2023

2022

Constraint-based type inference for FreezeML.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2020

FreezeML: complete and easy type inference for first-class polymorphism.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2017

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Frank Emrich

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...