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
- Title:
- 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)
- Main Title:
- Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.328349
- Ingest File:
- 01_269.xml