Language Definitions Extensive trials to adapt string transformation DSL(s) to functional style for program syntheisis.