...
机译:具有多重链接结构的程序的单调抽象
Program verification; Shape analysis; Monotonic abstraction; Dynamic multiply-linked data structures;
机译:具有多重链接结构的程序的单调抽象
机译:单调抽象(关于参数化系统的有效验证)
机译:热处理过程中石油渣油饱和结构的氢提取:模型饱和烃的氢提取测量
机译:具有多重链接结构的程序的单调抽象
机译:单调程序的全局优化:在多项式和随机程序设计中的应用。
机译:发育规划:产前双酚A诱导雌性绵羊代谢组织中表观遗传调节剂的非单调变化
机译:具有多重链接结构的程序的单调抽象