A pattern transformation language for text-to-text translation. Used for compiler writing and linguistics.
Computing Dictionary