LEADER 05621nam 22007335 450 001 9910484776203321 005 20251226202912.0 024 7 $a10.1007/11559306 035 $a(CKB)1000000000213273 035 $a(SSID)ssj0000317807 035 $a(PQKBManifestationID)11240624 035 $a(PQKBTitleCode)TC0000317807 035 $a(PQKBWorkID)10308073 035 $a(PQKB)11022526 035 $a(DE-He213)978-3-540-31730-2 035 $a(MiAaPQ)EBC3067567 035 $a(PPN)123097738 035 $a(BIP)12717164 035 $a(EXLCZ)991000000000213273 100 $a20100316d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFrontiers of Combining Systems $e5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /$fedited by Bernhard Gramlich 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 321 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3717 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540290513 320 $aIncludes bibliographical references and index. 327 $aLogics, 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. 330 $aThis volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19-21, 2005 in Vienna, Austria. Previously, FroCoS was organized in Munich (1996), Amst- dam (1998), Nancy (2000) and Santa Margherita Ligure near Genoa (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 o'ered a common forum for the presentation and discussion of research results and activities on the combination, integration, analysis, modularization and interaction of f- mally de'ned systems, with an emphasis on logic-based ones. These issues are important in many areas of computer science, such as logic, computation, p- gram development and veri'cation, arti'cial intelligence, automated reasoning, constraint solving, declarative programming, and symbolic computation. There were 28 research papers submitted to FroCoS 2005, authored by - searchers from 16 countries. After extensive reviewing and discussion within the Program Committee, 14 papers including two system descriptions were ?nally accepted for presentation at the conference and publication in this volume. The topics covered by the selected papers include: combinations of logics, theories, and decision procedures; constraint solving and programming; combination - sues in rewriting and programmingas well as in logicalframeworks and theorem proving systems. In addition to the regular accepted papers, this volume also contains papers (three full ones and one abstract) corresponding to four invited talks given by Luca de Alfaro (Univ. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v3717 606 $aComputer science 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer programming 606 $aSoftware engineering 606 $aTheory of Computation 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 676 $a511.3 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484776203321 996 $aFrontiers of Combining Systems$92555154 997 $aUNINA