机译:具有产品,代数数据和ML多态类型的功能程序重写系统中的静态依赖对方法
The author is with the Graduate School of Information Science, Nagoya University, Nagoya-shi, 464-8603 Japan;
rewriting systems for functional programs; termination; static dependency pair method;
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:依赖性对终止依赖类型理论模数重写
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:校正:使用成对代数的通用声明性动态编程
机译:具有产品,代数数据和ML-多态性类型的功能程序重写系统的静态依赖性对方法
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具