We consider the problem of selective and lightweight closure conversion, in which multiple procedure-calling protocols may coexist in the same code. Flow analysis is used to match the protocol expected by each procedure and the protocol used at each of its possible call sites. We formulate the flow analysis as the solution of a set of constraints, and show that any solution to the constraints justifies the resulting transformation. Some of the techniques used are suggested by those of abstract interpretation, but others arise out of alternative approaches.
我们考虑选择性和轻量级闭包转换的问题,其中多个过程调用协议可以在同一代码中共存。流分析用于匹配每个过程期望的协议以及在每个可能的呼叫站点使用的协议。我们将流分析公式化为一组约束的解决方案,并表明对约束的任何解决方案都可以证明所产生的变换是合理的。所使用的一些技术是抽象解释所建议的,而其他技术则来自替代方法。 P>
机译:激光外周虹膜术后,前视角闭合和初级角度闭合到青光眼的转化
机译:伴有黄斑下出血的外伤性黄斑裂孔手术后2型闭合延迟自发转换为1型闭合
机译:学习深度指标:复杂工业场景中的循环关闭的轻量级关系网络
机译:基于轻质卷积神经网络和产品量化的可视循环闭合检测
机译:开发和表征用于油水混合物的超轻量,高选择性过滤介质
机译:突变体选择性拓扑转换有助于病原性pr病毒同工型的选择性降解
机译:选择性和轻量级闭合转换
机译:笼型烃中未活化C-H键的直接选择性酰化。用于C-H键官能化的系统,在高基质转化下催化和选择性地进行