有机体
发表于 2025-3-25 03:46:03
http://reply.papertrans.cn/59/5882/588110/588110_21.png
accrete
发表于 2025-3-25 08:58:27
A Modular Equational Generalization Algorithm,d identity axioms (including the empty set). This is suitable for dealing with functions that obey algebraic laws, and are typically mechanized by means of equational atributes in rule-based languages such as ASF+SDF, Elan, OBJ, Cafe-OBJ, and Maude. The algorithm computes a complete set of least gen
Antagonist
发表于 2025-3-25 12:57:54
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs,For this purpose, we first introduce an improved defunctionalization algorithm that transforms higher-order functions into first-order ones, so that existing techniques for termination analysis and propagation of binding-times of first-order programs can be applied. Then, we define another transform
osteopath
发表于 2025-3-25 19:46:30
Analysis of Linear Hybrid Systems in CLP,accurate analysis and verification of LHAs can then be performed using generic CLP analysis and transformation tools. LHAs provide an expressive notation for specifying real-time systems. The main contributions are (i) a technique for capturing the reachable states of the continuously changing state
招人嫉妒
发表于 2025-3-25 21:19:08
Automatic Generation of Test Inputs for Mercury,reason about program executions as paths in a control-flow graph. Next, we define how such a path corresponds to a set of constraints whose solution defines input values for the predicate under test such that when the predicate is called with respect to these input values, the execution is guarantee
amnesia
发表于 2025-3-26 00:14:56
http://reply.papertrans.cn/59/5882/588110/588110_26.png
Narcissist
发表于 2025-3-26 06:45:35
The MEB and CEB Static Analysis for CSP Specifications,echnique allows us to know what parts of the specification must necessarily be executed before this event, and what parts of the specification could be executed before it in some execution. Our technique is based on a new data structure which extends the . (SCFG). We show that this new data structur
座右铭
发表于 2025-3-26 08:39:40
Fast Offline Partial Evaluation of Large Logic Programs,lassical BTA for offline partial evaluation of logic programs. In contrast to previous approaches, the new BTA is conceptually simpler and considerably faster, scaling to medium-sized or even large examples and, moreover, it ensures both the so called local and global termination. We also show that
indignant
发表于 2025-3-26 14:29:11
http://reply.papertrans.cn/59/5882/588110/588110_29.png
原来
发表于 2025-3-26 17:06:54
http://reply.papertrans.cn/59/5882/588110/588110_30.png