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.
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 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 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 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 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 20 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Partial evaluation of order-sorted equational programs modulo axioms;...
ISBN:
(纸本)9783319631387
the proceedings contain 20 papers. the special focus in this conference is on logic-basedprogramsynthesis and transformation. the topics include: Partial evaluation of order-sorted equational programs modulo axioms;a formal, resource consumption-preserving translation of actors to Haskell;verification of time-aware business processes using constrained horn clauses;minizinc with strings;slicing concurrent constraint programs;a new functional-logic compiler for curry;symbolic execution and thresholding for efficiently tuning fuzzy logicprograms;hierarchical shape abstraction for analysis of free list memory allocators;a productivity checker for logicprogramming;symbolic abstract contract synthesis in a rewriting framework;on the completeness of selective unification in concolic testing of logicprograms;deriving efficient generators for closed simply-typed lambda terms and normal forms;a reversible semantics for erlang;scaling bounded model checking by transforming programs with arrays;intuitionistic logicprogramming for SQL;coinductive soundness of corecursive type class resolution;nominal unification of higher order expressions with recursive let and automata theory approach to predicate intuitionistic logic.
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.
暂无评论