We present the first profiler for a compiled, non-strict, higher-order, purely functional language capable of measuring
A unique feature of our approach is that we give a formal specification of the attribution of execution costs to cost centres. This specification enables us to discuss our design decisions in a precise framework. Since it is not obvious how to map this specification onto a particular implementation, we also present an implementation-oriented operational semantics, and prove it equivalent to the specification.
我们展示了第一个用于编译的,非严格的,高阶的,纯功能的语言的探查器,该语言能够测量 我们的方法的独特之处在于,我们对执行成本对成本中心的归属给出了正式的说明。该规范使我们能够在一个精确的框架中讨论我们的设计决策。由于如何将此规范映射到特定实现尚不明显,因此我们还提出了一种面向实现的操作语义,并证明它等效于该规范。 P>
机译:为.NET平台编译非严格功能语言
机译:
机译:布鲁塞尔多语言环境中跨各种时空范围的语言可见性,功能和含义
机译:基于类型的非严格高阶功能语言的异常分析,具有不精确的异常语言
机译:非严格的纯函数式编程语言中的力导向图绘制和美学测量。
机译:多个神经峰值列车数据的时变高阶峰值相关性的状态空间分析
机译:非严格,高阶函数语言的时空分析