机译:使用LISA编译器生成器实现EasyTime形式语义
domain-specific languagecompilercode generatormeasuring time;
机译:使用手写编译器生成器在Prolog中进行离线专业化
机译:通过评估归一化的编译实现
机译:Maude中KLAIM模型的语义,分布式实现和形式分析
机译:使用LISA编译器生成器来实现特定于域的语言EasyTime
机译:零售本体:形式语义和有效实现
机译:使用ODE解决方案的CellML仿真编译器和代码生成器
机译:使用LIsa编译器生成器实现EasyTime形式语义