03904nam 22007335 450 99646582290331620230222111459.01-280-38973-797866135676593-642-16310-610.1007/978-3-642-16310-4(CKB)2550000000019882(SSID)ssj0000446748(PQKBManifestationID)11299325(PQKBTitleCode)TC0000446748(PQKBWorkID)10497763(PQKB)11661550(DE-He213)978-3-642-16310-4(MiAaPQ)EBC3065951(PPN)14902973X(EXLCZ)99255000000001988220101001d2010 u| 0engurnn|008mamaatxtccrRewriting Logic and Its Applications[electronic resource] 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /edited by Peter Csaba Ölveczky1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 264 p. 44 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6381Bibliographic Level Mode of Issuance: Monograph3-642-16309-2 Includes bibliographical references and index.Invited Talks -- Rewriting, Inference, and Proof -- Twenty Years of Rewriting Logic -- Termination and Narrowing -- Proving Termination in the Context-Sensitive Dependency Pair Framework -- A Dependency Pair Framework for A???C-Termination -- Folding Variant Narrowing and Optimal Variant Termination -- Tools -- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications -- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories -- The K Framework -- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages -- Collecting Semantics under Predicate Abstraction in the K Framework -- Applications and Semantics -- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits -- A Formal Pattern Architecture for Safe Medical Systems -- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages -- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding -- Maude Model Checking and Debugging -- The Linear Temporal Logic of Rewriting Maude Model Checker -- Enhancing the Debugging of Maude Specifications -- Rewrite Engines -- The Third Rewrite Engines Competition.Theoretical Computer Science and General Issues,2512-2029 ;6381Computer programmingSoftware engineeringCompilers (Computer programs)Computer scienceMachine theoryProgramming TechniquesSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer programming.Software engineering.Compilers (Computer programs).Computer science.Machine theory.Programming Techniques.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.11Ölveczky Peter Csabaedthttp://id.loc.gov/vocabulary/relators/edtEuropean Joint Conferences on Theory and Practice of Software.BOOK996465822903316Rewriting logic and its applications2247230UNISA