Intepreter; design patterns; generic programming; rewriting systems;
机译:DataType定义用于Naturals和Integers的重写系统
机译:无限词和全汉改写系统:泛位扩展
机译:依赖对方法的扩展,用于证明高阶重写系统的终止
机译:解释器模式的扩展以定义域参数重写系统
机译:在信息系统的上下文中定义攻击者的行为模式。
机译:气象波动确定了常规和有机生产系统中的长期作物产量模式
机译:关于流程重写系统的扩展:有限状态单元的重写系统
机译:非终结与同类重写系统定义语言的同态。