Automated Code Generation

Code Generation via tree pattern matching


misar@rbg.informatik.tu-darmstadt.de (Walter Misar)
GCS/M d?(-+) -p+(-) c++ !l u++ e++(*) m+ s/-- !n h(*) f !g w+ t+(-) r+ y?