School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland;
机译:通过术语重写来递归Java字节码程序的模块化终止证明
机译:通过重写术语重写Java字节码的自动终止分析
机译:空间数据库中语义查询优化的查询重写
机译:Queryll:通过字节码重写的Java数据库查询
机译:数据库查询自动转换为Enterprise JavaBeans客户端代码。
机译:LAILAPS-QSM:RESTful API和JAVA库用于语义查询建议
机译:通过术语重写对递归Java字节码程序进行模块化终止证明