Frontiers of Combining Systems 组合系统前沿/会议录

出版时间：2005-10  出版社：1 (2005年10月19日)  作者：Bernhard Gramlich  页数：320  

内容概要

This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria, in September 2005. The 19 revised full papers presented including 2 system descriptions were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

书籍目录

Logics, Theories, and Decision Procedures I　Invited Contribution: 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 AppraisalInterface Formalisms　Invited Contribution: Sociable InterfacesLogics, 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 SystemsConstraint Solving and Programming　Invited Contribution: Hybrid CSP Solving　An Efficient Decision Procedure for UTVPI Constraints　Declarative Constraint Programming with Definitional TreesLogical Problem Analysis and Encoding I　Logical Analysis of Hash FunctionsCombination Issues in Rewriting and Programming　Proving and Disproving Termination of Higher-Order Functions　Proving Liveness with Fairness Using Rewriting　A Concurrent Lambda Calculus with FuturesCompositional System Design and Refinement　Tutorial: The ASM Method for System Design and Analysis. A Tutorial　IntroductionLogical Problem Analysis and Encoding II　Invited Contribution: Matching Classifications via a Bidirectional　Integration of SAT and Linguistic ResourcesTheorem Proving Frameworks and Systems　Connecting a Logical Framework to a First-Order Logic Prover　System Description: Combination of Isabelle/HOL with Automatic　Tools　System Description: ATS: A Language That Combines Programming　with Theorem ProvingAuthor Index