Abstracting refinements for transformation

Abstracting refinements for transformation

Article

Johnsen, Einar Broch ; Lüth, Christoph

Published in: Nordic journal of computing 10 (2003) : 4, s. 313-336

Saved in:

Language

English

Classification

acmccs F.3.1
acmccs F.4.1
acmccs I.2.2

Subjects/keywords

program refinement

transformation

theorem provers

proof reuse