Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /: 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: WRLA 2018
• Further Information: Note: Vlad Rusu (ed.).
• Editors: Rusu, Vlad
• Other Names: WRLA (Conference), 12th; ETAPS (Conference), 21st
• Contents: Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition.- Automaton and Equation based Approximations for Reachability Analysis.- Multiparadigm Programming in Maude.- MUnit: A Unit testing framework for Maude.- Parameterized Programming for Compositional System Specification.- Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT.- Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.- Proving Structural Properties of Sequent Systems in Rewriting Logic.- Formal Modeling and Analysis of the Walter Transactional Data Store.- Extending Timbuk to Verify Functional Programs.- Generalized Rewrite Theories and Coherence Completion.- Proving Ground Confluence of Equational Specifications Modulo Axioms.- Uniform Strong Normalization for Multi-Discipline Calculi.- Real-time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming.- Approximating any Logic Program by a CS-Program.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xii, 261 pages), illustrations
• Subjects: 005.101/5113; Computer science; Computer logic -- Congresses; Computers -- Programming Languages -- General; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Mathematics -- Logic; Programming & scripting languages: general; Software Engineering; Computer programming / software development; Mathematical theory of computation; Logic design; Software engineering; Electronic books
• Languages: English
• ISBNs: 9783319998404; 3319998404
• Related ISBNs: 9783319998398
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 17, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.