Karl-Heinz Buth

According to our database, Karl-Heinz Buth authored at least 7 papers between 1988 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth

Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

1994

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems.

Karl-Heinz Buth

PhD thesis, 1994

Simulation of SOS Definitions with Term Rewriting Systems.

Karl-Heinz Buth

Proceedings of the Programming Languages and Systems, 1994

1992

Using SOS Definitions in Term Rewriting Proofs.

Karl-Heinz Buth

Proceedings of the First International Workshop on Larch, 1992

Provably Correct Compiler Development and Implementation.

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm

Proceedings of the Compiler Construction, 1992

1991

An Approach to Automatic Proof Support for Code Generator Verification.

Bettina Buth, Karl-Heinz Buth

Proceedings of the Code Generation, 1991

1988

Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.

Bettina Buth, Karl-Heinz Buth

Proceedings of the VDM '88, 1988