Systematics of transformation rules

F. L. Bauer, M. Broy, H. Partsch, P. Pepper, H. Wössner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Scopus citations

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.

Original languageEnglish
Title of host publicationProgram Construction - International Summer School
EditorsFriedrich L. Bauer, Manfred Broy
PublisherSpringer Verlag
Pages273-289
Number of pages17
ISBN (Print)9783540092513
DOIs
StatePublished - 1979
EventInternational Summer School on Program Construction, 1978 - Marktoberdorf, Germany
Duration: 26 Jul 19786 Aug 1978

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume69 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Summer School on Program Construction, 1978
Country/TerritoryGermany
CityMarktoberdorf
Period26/07/786/08/78

Fingerprint

Dive into the research topics of 'Systematics of transformation rules'. Together they form a unique fingerprint.

Cite this