visceral-fat
发表于 2025-3-26 22:36:54
http://reply.papertrans.cn/83/8300/829951/829951_31.png
Blasphemy
发表于 2025-3-27 01:53:12
http://reply.papertrans.cn/83/8300/829951/829951_32.png
obligation
发表于 2025-3-27 05:21:33
Probabilistic Rewrite Strategies. Applications to ELANeling capabilities of rule based languages, we explore the possibility of making the rule applications subject to probabilistic choices..We propose an extension of the ELAN strategy language to deal with randomized systems. We argue through several examples that we propose indeed a natural setting t
FANG
发表于 2025-3-27 09:46:00
http://reply.papertrans.cn/83/8300/829951/829951_34.png
开始发作
发表于 2025-3-27 14:19:47
http://reply.papertrans.cn/83/8300/829951/829951_35.png
Cloudburst
发表于 2025-3-27 17:47:38
Conditions for Efficiency Improvement by Tree Transducer Compositionpulating such annotations, we formally prove syntactic conditions under which the composed program is guaranteed to be more efficient than the original program, with respect to call-by-need reduction to normal form. The developed criteria can be checked automatically, and thus are suitable for integration into an optimizing functional compiler.
NATTY
发表于 2025-3-28 01:42:13
http://reply.papertrans.cn/83/8300/829951/829951_37.png
俗艳
发表于 2025-3-28 03:44:45
Axiomatic Rewriting Theory VI: Residual Theory Revisitedt critical pairs but enjoy a strong Church-Rosser property (=existence of pushouts.) Typical examples are the . and the . rewriting systems. Finally, we show that the resulting theory reformulates and clarifies Lévy’s optimality theory for the λ-calculus, and its so-called “extraction procedure”.
胰岛素
发表于 2025-3-28 07:20:39
Rewrite Gamesk this question by methods from set constraint systems, and show some cases where this works directly..Finally we present rewrite games from to combinatory logic, and their relation to algebraic tree languages.
aerobic
发表于 2025-3-28 11:34:42
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae belongs or not to NF-CTL, and providing support in the choice of the most efficient amongst different available verification algorithms. In this direction, we propose a rewrite system modulo ., and discuss its implementation in ELAN, showing how this rewriting process can be plugged in a formal verification tool.