The TXL source transformation language 论文

2006Science of Computer Programming引用 358
Logic, programming, and type systemsParallel Computing and Optimization TechniquesModel-Driven Software Engineering Techniques