This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variables in three different ways, at different stages of maturation.The first and third projects bend the original typing discipline to gain finer-grained view on statements independence, to optimize loops by hoisting invariant and by splitting loops "horizontally" to parallelize them more efficiently.The second project refines and implements the original analysis to obtain a fast, modular static analyzer.All three projects aims at pushing the original type system, inspired from ICC, to its limits, to assess how ICC can in practice leads to original, sometimes orthogonal, approaches.
翻译:这一抽象的目的在于提出一个持续的努力,以应用来自隐含计算复杂度(ICC)的新打字机制,在成熟的不同阶段以三种不同的方式跟踪变量之间的依赖性。 第一和第二个项目将原来的打字纪律弯曲,以获得对声明独立性的精细观点,通过拉动不定的和“horizontally”来优化循环,以更高效地将其平行。 第二个项目改进并执行原始分析,以获得一个快速、模块化的静态分析器。 所有三个项目都旨在将最初的打字系统(受ICC的启发)推向极限,评估国际商会在实践中如何导致原始的、有时是垂直的方法。