Frontiers of Combining Systems

Inhaltsverzeichnis

• Logics, Theories, and Decision Procedures I.
• A Comprehensive Framework for Combined Decision Procedures.
• Connecting Many-Sorted Structures and Theories Through Adjoint Functions.
• Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.
• On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.
• Interface Formalisms.
• Sociable Interfaces.
• Logics, Theories, and Decision Procedures II.
• About the Combination of Trees and Rational Numbers in a Complete First-Order Theory.
• A Complete Temporal and Spatial Logic for Distributed Systems.
• Constraint Solving and Programming.
• Hybrid CSP Solving.
• An Efficient Decision Procedure for UTVPI Constraints.
• Declarative Constraint Programming with Definitional Trees.
• Logical Problem Analysis and Encoding I.
• Logical Analysis of Hash Functions.
• Combination Issues in Rewriting and Programming.
• Proving and Disproving Termination of Higher-Order Functions.
• Proving Liveness with Fairness Using Rewriting.
• A Concurrent Lambda Calculus with Futures.
• Compositional System Design and Refinement.
• The ASM Method for System Design and Analysis. A Tutorial Introduction.
• Logical Problem Analysis and Encoding II.
• Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
• Theorem Proving Frameworks and Systems.
• Connecting a Logical Framework to a First-Order Logic Prover.
• Combination of Isabelle/HOL with Automatic Tools.
• ATS: A Language That Combines Programming with Theorem Proving.