Travelled to:1 × Germany
1 × Ireland
1 × United Kingdom
Collaborated with:B.Buth ∅ M.Fränzle B.v.Karger Y.Lakhnech H.Langmaack M.Müller-Olm
Talks about:correct (2) rewrit (2) term (2) implement (1) written (1) provabl (1) generat (1) develop (1) definit (1) system (1)
Person: Karl-Heinz Buth
DBLP: Buth:Karl=Heinz
Contributed to:
1994
1992
1988Wrote 3 papers:
- ESOP-1994-Buth #simulation #term rewriting
- Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.
- CC-1992-ButhBFKLLM #compilation #development #implementation
- Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
- VDME-1988-ButhB #code generation #correctness #proving #specification #term rewriting #using
- Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting (BB, KHB), pp. 406–433.