谆谆教诲
发表于 2025-3-30 10:37:36
https://doi.org/10.1007/978-90-368-0949-8nly once. Such a compaction can be effected in linear time. It is used to save storage in implementations of functional programming languages, as well as in symbolic manipulation and computer algebra systems. In compiling, the compaction problem is known as the “common subexpression problem” and it
Anthem
发表于 2025-3-30 14:52:58
https://doi.org/10.1007/978-90-368-0949-8, this improves the previous best bound of .(..)..The bottleneck in our algorithm is a combinatorial problem on (unweighted) graphs. The number of operations executed on flow variables is .(..(log .).), in contrast with Ω(.) flow operations for all previous algorithms, where . denotes the number of
中子
发表于 2025-3-30 18:24:35
http://reply.papertrans.cn/17/1663/166223/166223_53.png
Palpitation
发表于 2025-3-30 23:59:30
Two-way automata with multiplicity,m to this more general case. We in fact show that it holds in the case of automata with multiplicity in a commutative semiring, provided that an additional condition is satisfied. We prove that this condition is also necessary in a particular case. An application is given to zig-zag codes using special two-way automata.
Boycott
发表于 2025-3-31 04:20:13
http://reply.papertrans.cn/17/1663/166223/166223_55.png
尽管
发表于 2025-3-31 08:17:05
http://reply.papertrans.cn/17/1663/166223/166223_56.png
圣人
发表于 2025-3-31 13:16:12
http://reply.papertrans.cn/17/1663/166223/166223_57.png
exorbitant
发表于 2025-3-31 17:00:36
Uri Weinblatt,Carmelit Avraham-KrehwinkelWe define a set ς. of lambda-terms for which we decide typing in system ...As the algorithm uses normalizability in an essential way, we also characterize normalizable terms in ς.. This allows us to connect the two properties and to build many non-typable terms, normalizable or not.
未完成
发表于 2025-3-31 20:15:12
http://reply.papertrans.cn/17/1663/166223/166223_59.png
抚慰
发表于 2025-3-31 21:47:54
Generic terms having no polymorphic types,We define a set ς. of lambda-terms for which we decide typing in system ...As the algorithm uses normalizability in an essential way, we also characterize normalizable terms in ς.. This allows us to connect the two properties and to build many non-typable terms, normalizable or not.