@inproceedings{fd084b72f71d4b21bdec3b4d716bf123,
title = "Systematics of transformation rules",
abstract = "There are essentially two ways to attack the problem of the {"}correctness{"} of program transformations: transformation rules can be given as axioms — thus determining (parts of) the semantics of the language — or they can be verified with respect to a particular definition of the semantics. This classification is taken here as a guide-line for a systematic survey of transformation rules.",
author = "Bauer, \{F. L.\} and M. Broy and H. Partsch and P. Pepper and H. W{\"o}ssner",
note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag.; International Summer School on Program Construction, 1978 ; Conference date: 26-07-1978 Through 06-08-1978",
year = "1979",
doi = "10.1007/BFb0014672",
language = "English",
isbn = "9783540092513",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "273--289",
editor = "Bauer, \{Friedrich L.\} and Manfred Broy",
booktitle = "Program Construction - International Summer School",
}