onychomycosis
发表于 2025-3-21 19:17:24
书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588095<br><br> <br><br>书目名称Logic-Based Program Synthesis and Transformation读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588095<br><br> <br><br>
insightful
发表于 2025-3-21 21:01:51
Clones in Logic Programs and How to Detect Them,ode clones that could be used for various applications such as program refactoring and plagiarism recognition. Our clone detection algorithm is not tied to a particular logic programming language, and can easily be instantiated for different such languages.
指数
发表于 2025-3-22 02:35:06
Using Real Relaxations during Program Specialization, model constructed over ℤ. Then, we introduce a strategy which applies the transformation rules for specializing CLP(ℤ) programs with respect to a given query. Finally, we show that our specialization strategy can be applied for verifying properties of infinite state reactive systems specified by constraints over ℤ.
欢乐东方
发表于 2025-3-22 06:18:46
http://reply.papertrans.cn/59/5881/588095/588095_4.png
FUSC
发表于 2025-3-22 10:56:01
http://reply.papertrans.cn/59/5881/588095/588095_5.png
BIBLE
发表于 2025-3-22 13:33:39
Resource-Driven CLP-Based Test Case Generation, to non-functional aspects of the program. As a further step, we introduce . TDG whose purpose is to guide the TDG process by taking resource consumption into account. Interestingly, given a ., TDG is guided to generate test cases that adhere to the policy and avoid the generation of test cases which violate it.
一瞥
发表于 2025-3-22 21:08:11
A Declarative Embedding of XQuery in a Functional-Logic Language,deterministic features of functional-logic languages. As an application of this proposal we show how the typical . techniques of logic languages can be used for generating test-cases for XQuery expressions.
安装
发表于 2025-3-23 00:34:32
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees,lity of the technique. In this paper we present a transformation for debugging trees for Maude specifications that ensures that any subterm occurring in a question has been previously replaced by the most reduced form that it has taken during the computation, thus ensuring that questions become as simple as possible.
COWER
发表于 2025-3-23 04:47:33
http://reply.papertrans.cn/59/5881/588095/588095_9.png
消耗
发表于 2025-3-23 06:10:07
A Linear Operational Semantics for Termination and Complexity Analysis of ,, such as termination and complexity analysis. We prove that our new semantics is equivalent to the .. semantics, i.e., it computes the same answer substitutions and the derivations in both semantics have essentially the same length.