Karl-Heinz Buth

Publication Activity (10 Years)

Years Active: 1988-1995
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH (1995)
Karl-Heinz Buth
Simulation of SOS Definitions with Term Rewriting Systems. ESOP (1994)
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
Provably Correct Compiler Development and Implementation. CC (1992)
Karl-Heinz Buth
Using SOS Definitions in Term Rewriting Proofs. Larch (1992)
Bettina Buth, Karl-Heinz Buth
An Approach to Automatic Proof Support for Code Generator Verification. Code Generation (1991)
Bettina Buth, Karl-Heinz Buth
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe (1988)