LEADER 03884nam  22006615  450 
001 996466210703316
005 20230330042005.0
010   $a3-319-99840-4
024 7 $a10.1007/978-3-319-99840-4
035   $a(CKB)4100000006519965
035   $a(DE-He213)978-3-319-99840-4
035   $a(MiAaPQ)EBC6296660
035   $a(PPN)230538401
035   $a(EXLCZ)994100000006519965
100   $a20180907d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRewriting Logic and Its Applications$b[electronic resource] $e12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /$fedited by Vlad Rusu
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 261 p. 24 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11152
311   $a3-319-99839-0 
327   $aBenchmarking 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.
330   $aThis book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11152
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer programming
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aFormal Languages and Automata Theory.
676   $a005.1015113
702   $aRusu$b Vlad$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466210703316
996   $aRewriting logic and its applications$92247230
997   $aUNISA