308 citations · 818 across the 33 of their papers we have counts for
1 paper · 2 filters
David A. Holland, Jingmei Hu, Ming Kawaguchi +3
This technical report describes two of the domain specific languages used in the Aquarium kernel code synthesis project. It presents the language cores in terms of abstract syntax.…