the proceedings contain 14 papers. the topics discussed include: towards scalable partial evaluation of declarative programs;deciding full branching time logic by programtransformation;a transformational approach for...
ISBN:
(纸本)3642125913
the proceedings contain 14 papers. the topics discussed include: towards scalable partial evaluation of declarative programs;deciding full branching time logic by programtransformation;a transformational approach for proving properties of the CHR constraint store;the dependency triple framework for termination of logicprograms;goal-directed and relative dependency pairs for proving the termination of narrowing;LP with flexible grouping and aggregates using modes;on inductive and coinductive proofs via unfold/fold transformations;coinductive logicprogramming with negation;refining exceptions in four-valued logic;towards a framework for constraint-based test case generation;using rewrite strategies for testing BUpL agents;towards just-in-time partial evaluation of prolog;program parallelization using synchronized pipelining;and defining datalog in rewriting logic.
the proceedings contain 289 papers from the logicbasedprogramsynthesis and transformation: 14thinternationalsymposium, LOPSTER 2004. Revised Selected Papers. Topics discussed include searching semantically equiva...
详细信息
the proceedings contain 289 papers from the logicbasedprogramsynthesis and transformation: 14thinternationalsymposium, LOPSTER 2004. Revised Selected Papers. Topics discussed include searching semantically equivalent code fragments in logicprograms;determinacy analysis for logicprograms using mode and type information;mechanical verification of automatic synthesis of fault-tolerant programs;fully automatic binding-time analysis for prolog;logical mobility and locality types;negation elimination for finite PCFGs;specialization of concurrent guarded multi-set transformation rules;efficient local unfolding with ancestor stacks for full prolog;and natural rewriting for general term rewriting systems.
the proceedings contain 19 papers. the special focus in this conference is on program Analysis and transformation, Constraint Handling Rules, Termination Analysis, Security and program Testing and Verification. the to...
ISBN:
(纸本)9783319178219
the proceedings contain 19 papers. the special focus in this conference is on program Analysis and transformation, Constraint Handling Rules, Termination Analysis, Security and program Testing and Verification. the topics include: Analyzing array manipulating programs by programtransformation;analysing and compiling coroutines with abstract conjunctive partial deduction;confluence modulo equivalence in constraint handling rules;exhaustive execution of CHR through source-to-source transformation;a formal semantics for the cognitive architecture ACT-R;chranimation: an animation tool for constraint handling rules;extending the 2D dependency pair framework for conditional term rewriting systems;partial evaluation for java malware detection;access control and obligations in the category-based metamodel;concolic execution and test case generation in prolog;liveness properties in cafeOBJ - a case study for meta-level specifications;a hybrid method for the verification and synthesis of parameterized self-stabilizing protocols;drill and join:;functional kleene closures;on completeness of logicprograms;polynomial approximation to well-founded semantics for logicprograms with generalized atoms;declarative compilation for constraint logicprogramming and pre-indexed terms for prolog.
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 11 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Multivariant Assertion-based Guidance in Abstract Interpretation;guid...
ISBN:
(纸本)9783030138370
the proceedings contain 11 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Multivariant Assertion-based Guidance in Abstract Interpretation;guided Unfoldings for Finding Loops in Standard Term Rewriting;homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms;multiparty Classical Choreographies;a Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear logic Inference;Confluence of CHR Revisited: Invariants and Modulo Equivalence;compiling Control as Offline Partial Deduction;predicate Specialization for Definitional Higher-Order logicprograms;an Assertion Language for Slicing Constraint logic Languages.
the proceedings contain 15 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Trace Analysis Using an Event-Driven Interval Temporal logic;the Prol...
ISBN:
(纸本)9783030452599
the proceedings contain 15 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Trace Analysis Using an Event-Driven Interval Temporal logic;the Prolog Debugger and Declarative programming;a Port Graph Rewriting Approach to Relational Database Modelling;Generalization-Driven Semantic Clone Detection in CLP;semi-inversion of Conditional Constructor Term Rewriting Systems;a General Framework for Static Cost Analysis of Parallel logicprograms;incremental Analysis of logicprograms with Assertions and Open Predicates;computing Abstract Distances in logicprograms;synthesizing Imperative Code from Answer Set programming Specifications;verified Construction of Fair Voting Rules;solving Proximity Constraints;a Certified Functional Nominal C-Unification Algorithm;modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set programming.
the proceedings contain 13 papers. the topics discussed include: proving termination with (Boolean) satisfaction;termination analysis of logicprograms based on dependency graphs;type-based homeomorphic embedding and ...
ISBN:
(纸本)3540787682
the proceedings contain 13 papers. the topics discussed include: proving termination with (Boolean) satisfaction;termination analysis of logicprograms based on dependency graphs;type-based homeomorphic embedding and its applications to online partial evaluation;towards a normal form for mercury programs;aggregates for CHR through programtransformation;preserving sharing in the partial evaluation of lazy functional programs;denotation by transformation: towards obtaining a denotational semantics by transformation to point-free style;generation of rule-based constraint solvers: combined approach;a scalable inclusion constraint solver using unification;a flexible, (C)LP-based approach to the analysis of object-oriented programs;snapshot generation in a constructive object-oriented modeling language;synthesis of data views for communicating processes;and action refinement in process algebra and security issues.
暂无评论