机译:具有一个上下文变量的上下文统一
LSI Department, Technical University of Catalonia, Jordi Girona, 1-3 08034 Barcelona, Spain;
LSI Department, Technical University of Catalonia, Jordi Girona, 1-3 08034 Barcelona, Spain;
Institut fuer Informatik, Johann Wolfgang Goethe-Universitaet, Postfach 11 19 32, D-60054 Frankfurt, Germany;
SRI International, 333 Ravenswood Ave, Menlo Park, CA, USA;
unification; interprocedural program analysis; context unification; redundancy;
机译:原子和上下文变量的名义统一
机译:有界二阶统一与分层上下文统一的复杂性
机译:具有上下文依赖效应和未知上下文变量的复杂性状基因座的关联映射
机译:线性二阶统一和与树定期约束的上下文统一
机译:全国统一之前的19世纪意大利芭蕾舞音乐:来源,风格和背景
机译:具有上下文相关效应和未知上下文变量的复杂性状基因座的关联映射
机译:与一个上下文变量的上下文统一