the proceedings contain 15 papers. the topics discussed include: three syntactic theories for combinatory graph reduction;analysis of air traffic track data withthe AutoBayes synthesis system;proving with ACL2 the co...
ISBN:
(纸本)9783642205507
the proceedings contain 15 papers. the topics discussed include: three syntactic theories for combinatory graph reduction;analysis of air traffic track data withthe AutoBayes synthesis system;proving with ACL2 the correctness of simplicial sets in the Kenzo system;graph generation to statically represent CSP processes;verification of the Schorr-Waite algorithm - from trees to graphs;compositional CLP-based test data generation for imperative languages;on inductive proofs by extended unfold/fold transformation rules;non-termination analysis of logicprograms using types;scaling up algorithmic debugging with virtual execution trees;program specialization for verifying infinite state systems: an experimental evaluation;dependency triples for improving termination analysis of logicprograms with cut;a hybrid approach to conjunctive partial evaluation of logicprograms;and abstract diagnosis of first order functional logicprograms.
the proceedings contains 11 papers. the topics discussed include: declarative programming with function patterns;transformational verification of parameterized protocols using array formulas;an algorithm for local var...
详细信息
ISBN:
(纸本)3540326545
the proceedings contains 11 papers. the topics discussed include: declarative programming with function patterns;transformational verification of parameterized protocols using array formulas;an algorithm for local variable elimination normal logicprograms;removing superfluous versions in polyvariant specialization of prolog programs;extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives;non-leftmost unfolding in partial evaluation of logicprograms with impure predicates;a transformational semantics of static embedded implications of normal logicprograms;converting one type-based abstract domain to another;and experiments in context-sensitive analysis of modular programs.
the proceedings contain 14 papers. the topics discussed include: how to talk to a human: the semantic web and the clash of the titans;constructing consensus logicprograms;supervising offline partial evaluation of log...
详细信息
ISBN:
(纸本)354071409X
the proceedings contain 14 papers. the topics discussed include: how to talk to a human: the semantic web and the clash of the titans;constructing consensus logicprograms;supervising offline partial evaluation of logicprograms using online techniques;improving offline narrowing-driven partial evaluation using size-change graphs;towards description and optimization of abstract machines in an extension of prolog;combining different proof techniques for verifying information flow security;on the automated synthesis of proof-carrying temporal reference monitors;synthesis of asynchronous systems;a comparative study of algorithmic debugging strategies;automated termination analysis for logicprograms by term rewriting;and detecting non-termination of term rewriting systems using an unfolding operator.
the proceedings contain 19 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Analysis of rewriting-based systems as first-order theories;a constru...
ISBN:
(纸本)9783319944593
the proceedings contain 19 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Analysis of rewriting-based systems as first-order theories;a constructor-based reachability logic for rewrite theories;fuzzy unification and generalization of first-order terms over similar signatures;nominal C-unification;on uniquely closable and uniquely typable skeletons of Lambda terms;a certified reference validation mechanism for the permission model of android;predicate pairing with abstraction for relational verification;variant-based decidable satisfiability in initial algebras with predicates;combining static and dynamic contract checking for curry;a rule-based approach to analyzing database schema objects with datalog;deadlock detection of java bytecode;inferring energy bounds via static program analysis and evolutionary modeling of basic blocks;CARET analysis of multithreaded programs;context generation from formal specifications for C analysis tools;liveness-driven random program generation;erlang code evolution control;justifications in constraint handling rules for logical retraction in dynamic algorithms.
the proceedings contain 13 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Deciding Knowledge Problems Modulo Classes of Permutative theori...
ISBN:
(纸本)9783031712937
the proceedings contain 13 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Deciding Knowledge Problems Modulo Classes of Permutative theories;binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae;combined Abstract Congruence Closure for theories with Associativity or Commutativity;a Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems;pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications;an Axiomatic Category-based Access Control Model for Smart Homes;towards Specification-Guarded Refactoring;impact and Performance of Randomized Test-Generation Using Prolog;proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems;rewriting Induction for Higher-Order Constrained Term Rewriting Systems;introducing Quantification into a Hierarchical Graph Rewriting Language.
the proceedings contain 22 papers. the special focus in this conference is on Semantics of logic Languages and Efficient Compilation of Functional logicprograms. the topics include: Proof checking and logicprogrammi...
ISBN:
(纸本)9783319274355
the proceedings contain 22 papers. the special focus in this conference is on Semantics of logic Languages and Efficient Compilation of Functional logicprograms. the topics include: Proof checking and logicprogramming;on dual programs in co-logicprogramming;equational formulas and pattern operations in initial order-sorted algebras;compiling collapsing rules in certain constructor systems;from boolean equalities to constraints;a type-theoretic approach to resolution;a typed language for events;applying sorting networks to synthesize optimized sorting libraries;impact of accuracy optimization on the convergence of numerical iterative methods;abstract analysis of universal properties for TCCP;a global occurrence counting analysis for brane calculi;using dynamic pushdown networks to automate a modular information-flow analysis;checking java assertions using automated test-case generation;a generic intermediate representation for verification condition generation;combining top-down and bottom-up techniques in program derivation;a generalized model for algorithmic debugging;concolic execution in functional programming by program instrumentation;memory policy analysis for semantics specifications in maude;correctness of context-moving transformations for term rewriting systems and CHR in action.
the proceedings contain 11 papers. the topics discussed include: space invading systems code;test data generation of bytecode by CLP partial evaluation;a modular equational generalization algorithm;a transformational ...
the proceedings contain 11 papers. the topics discussed include: space invading systems code;test data generation of bytecode by CLP partial evaluation;a modular equational generalization algorithm;a transformational approach to polyvariant BTA of higher-order functional programs;analysis of linear hybrid systems in CLP;automatic generation of test inputs for mercury;analytical inductive functional programming;the MEB and CEB static analysis for CSP specifications;fast offline partial evaluation of large logicprograms;an inference algorithm for guaranteeing safe destruction;from monomorphic to polymorphic well-typings and beyond;and on negative unfolding in the answer set semantics.
Type information has many applications;it can e.g. be used in optimized compilation, termination analysis and error detection. However, logicprograms are typically untyped. A well-typed program has the property that ...
详细信息
ISBN:
(纸本)9783642005145
Type information has many applications;it can e.g. be used in optimized compilation, termination analysis and error detection. However, logicprograms are typically untyped. A well-typed program has the property that it behaves identically on well-typed goals with or without type checking. Hence the automatic inference of a well-typing is worthwhile. Existing inferences are either cheap and inaccurate, or accurate and expensive. By giving up the requirement that all calls to a predicate have types that are instances of a unique polymorphic type but instead allowing multiple polymorphic typings for the same predicate, we obtain a novel strongly-connected-component-based analysis that provides a good compromise between accuracy and computational cost.
In this paper, we present a fast binding-time analysis (BTA) by integrating a size-change analysis, which is independent of a selection rule, into a classical BTA for offline partial evaluation of logicprograms. In c...
详细信息
ISBN:
(纸本)9783642005145
In this paper, we present a fast binding-time analysis (BTA) by integrating a size-change analysis, which is independent of a selection rule, into a classical BTA for offline partial evaluation of logicprograms. 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 boththe so called local and global termination. We also show that;through the use of selective hints, we call achieve both good specialisation results and a fast BTA and specialisation process.
this book constitutes the thoroughly refereed post-conference proceedings of the 18th international symposium on logic-based program synthesis and transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-1...
详细信息
ISBN:
(数字)9783642005152
ISBN:
(纸本)9783642005145
this book constitutes the thoroughly refereed post-conference proceedings of the 18th international symposium on logic-based program synthesis and transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. the 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
暂无评论