机译:根据语法定义生成抽象编程接口
Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands;
API; ASF + SDF; aterms; data binding; code generation; oarse tree manipulation;
机译:高阶抽象句法的定义性两级推理方法
机译:使用高阶抽象语法对类型安全的转换进行编程
机译:使用高阶抽象语法和一流替换进行编程的类型理论基础
机译:文本语言抽象和具体语法的综合定义
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:应用编程接口用于生命科学和医疗保健中的知识转移和生成
机译:根据语法定义生成抽象编程接口