Ulrich Hoffmann

Affiliations:

University of Kiel, Germany

According to our database¹, Ulrich Hoffmann authored at least 4 papers between 1992 and 1998.

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

1998

Compiler implementation verification through rigorous syntactical code inspection.

[BibT_eX]

[DOI]

Ulrich Hoffmann

PhD thesis, 1998

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.

[BibT_eX]

[DOI]

Wolfgang Goerigk

Ulrich Hoffmann

Proceedings of the Applied Formal Methods, 1998

1996

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.

[BibT_eX]

Künstliche Intell., 1996

1992

Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.

[BibT_eX]

Künstliche Intell., 1992

Ulrich Hoffmann

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...