Karl-Heinz Buth

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
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.
PhD thesis, 1994

Simulation of SOS Definitions with Term Rewriting Systems.
Proceedings of the Programming Languages and Systems, 1994

1992
Using SOS Definitions in Term Rewriting Proofs.
Proceedings of the First International Workshop on Larch, 1992

Provably Correct Compiler Development and Implementation.
Proceedings of the Compiler Construction, 1992

1991
An Approach to Automatic Proof Support for Code Generator Verification.
Proceedings of the Code Generation, 1991

1988
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.
Proceedings of the VDM '88, 1988


  Loading...