Bidirectional Transformations by Jeremy Gibbons & Perdita Stevens

Author:Jeremy Gibbons & Perdita Stevens
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

3.1 Edit Languages

An edit language for a set X is defined as a monoid M together with a partial monoid action of M on X:

The last two equations are understood in the sense of Kleene equality: if one side is defined so is the other and they are equal. In general, however, a term may be undefined.

If we have a set X we often use the notation for an associated edit language. For example, if X is a set we may consider the following edit language for the set of lists over X. We first define atomic edits E for :modify(p,) where

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.