The University of Tokyo;
National Institute of Informatics;
The University of Tokyo;
program specialization; tree automata; types; xml;
机译:使用基于类型的文档投影优化XML查询
机译: limnohabitans i> limnohabitans -c和 betaprooteobacteria i > betaprooteobacteria.
机译:基于MDA的LMS业务组件的转换:XML技术和模型转换的贡献
机译:基于类型的XML转换专业化
机译:Matlab伸缩式编译器中基于类型的专业化。
机译:小鼠上腔囊作为模型系统用于研究基于细胞类型的视觉运动转换机制
机译:基于类型的XmL转换专业化
机译:Horn子句多重专业化的源级转换。