Titlebook: Logic-Based Program Synthesis and Transformation; 22nd International S Elvira Albert Conference proceedings 2013 Springer-Verlag Berlin Hei

讽刺文章

书目名称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读者反馈学科排名

SPASM

An Introduction to Search Combinators,defining search heuristics is often inadequate. Either modeling capabilities are extremely limited or users are faced with a general-purpose programming language whose features are not tailored towards writing search heuristics. As a result, major improvements in performance may remain unexplored..T

生气的边缘

alliance

Semantic Code Clones in Logic Programs,or defining clones, we propose a more general approximation based on operational semantics and transformation rules. This new definition captures a wider set of clones, and allows to formally define the conditions under which a number of refactorings can be applied.

变形

Specialization with Constrained Generalization for Software Model Checking,ple imperative language, called SIMP, extended with a nondeterministic choice operator and we address the problem of checking whether or not a . property . (that specifies that an . configuration cannot be reached) holds for a SIMP program .. The operational semantics of the language SIMP is specifi

Malaise

Enhancing Declarative Debugging with Loop Expansion and Tree Compression,e debugger generates questions about the results obtained in different computations and the programmer only has to answer them to find the bug. Declarative debugging uses an internal representation of programs called execution tree, whose structure highly influences its performance. In this work we

描述

XACML 3.0 in Answer Set Programming,unique answer set that directly corresponds to our formalisation of the standard semantics of XACML 3.0 from [9]. We demonstrate how our results make it possible to use off-the-shelf ASP solvers to formally verify properties of access control policies represented in XACML, such as checking the compl

PAN

Types vs. PDGs in Information Flow Analysis,garding coverage of language features and security policies. In this article, we study the relationship between these two approaches. One key insight is that a type-based information flow analysis need not be less precise than a PDG-based analysis. For proving this result we establish a formal conne

Thymus

Galliwasp: A Goal-Directed Answer Set Solver,nsible to full answer sets. . can execute arbitrary answer set programs in a top-down manner similar to SLD resolution. . generates candidate answer sets by executing . in a top-down, goal-directed manner using .. . next checks if the candidate answer sets are consistent with restrictions imposed by

反抗者

Computing More Specific Versions of Conditional Rewriting Systems,t of view. For instance, a rewrite system might have overlapping left-hand sides even if it can only produce at most one constructor normal form (i.e., value). In this paper, we propose a method for computing “more specific” versions of deterministic conditional rewrite systems (i.e., typical functi