XDoc Search Logo
Package:
stratego/asfix/implode
conc
Link to XDoc
Author: Unknown
Since: Unknown
Summary: Conc to Cons SDF2 lists are composed by means of a binary concatenation operator (\verb|A+ A+ ->A+|) that we translated to \verb|Conc| above. In abstract syntax trees we want to represent lists by \verb|Cons/Nil| structures. The following rules achieve this transformation. Note: these strategies are not used in the main implode-asfix.
Definitions:
Conc No additional information available
conc-to-cons No additional information available
CTC0 No additional information available
CTC1 No additional information available
CTC2 No additional information available
CTC3 No additional information available
CTC4 No additional information available
Ins No additional information available
Snoc No additional information available