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影響因子(影響力)學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度




書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation被引頻次




書目名稱Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation年度引用




書目名稱Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation讀者反饋




書目名稱Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名

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.

指數(shù)

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.