Titlebook: Logic-Based Program Synthesis and Transformation; 21st International S Germán Vidal Conference proceedings 2012 Springer-Verlag Berlin Heid

onychomycosis

书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)




书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)学科排名




书目名称Logic-Based Program Synthesis and Transformation网络公开度




书目名称Logic-Based Program Synthesis and Transformation网络公开度学科排名




书目名称Logic-Based Program Synthesis and Transformation被引频次




书目名称Logic-Based Program Synthesis and Transformation被引频次学科排名




书目名称Logic-Based Program Synthesis and Transformation年度引用




书目名称Logic-Based Program Synthesis and Transformation年度引用学科排名




书目名称Logic-Based Program Synthesis and Transformation读者反馈




书目名称Logic-Based Program Synthesis and Transformation读者反馈学科排名

insightful

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.

指数

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 ℤ.

欢乐东方

FUSC

BIBLE

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.

一瞥

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.

安装

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

消耗

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.