國立虎尾科技大學 |

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Rewriting Logic and Its Applications/ edited by Kyungmin Bae.
其他題名:	14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
其他作者:	Bae, Kyungmin.
面頁冊數:	VIII, 295 p. 39 illus., 14 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Discrete Mathematics in Computer Science. -
電子資源:	https://doi.org/10.1007/978-3-031-12441-9
ISBN:	9783031124419

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
Rewriting Logic and Its Applications14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /[electronic resource] :edited by Kyungmin Bae. - 1st ed. 2022. - VIII, 295 p. 39 illus., 14 illus. in color.online resource. - Lecture Notes in Computer Science,132521611-3349 ;. - Lecture Notes in Computer Science,9324.

Invited Papers -- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes -- Rewriting Privacy -- Invited Tutorials and Experience Report -- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method -- An Overview of the Maude Strategy Language and its Applications -- Teaching Formal Methods to Undergraduate Students Using Maude -- Regular Papers -- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic -- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude -- An Efficient Canonical Narrowing Implementation for Protocol Analysis -- Checking Sufficient Completeness by Inductive Theorem Proving -- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies -- Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT -- Executable Semantics and Type Checking for Session-Based Concurrency in Maude -- Tool Papers -- Parallel Maude-NPA for Cryptographic Protocol Analysis -- Maude as a Library: An Efficient All-Purpose Programming Interface.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

ISBN: 9783031124419

Standard No.: 10.1007/978-3-031-12441-9doiSubjects--Topical Terms:

670123
Discrete Mathematics in Computer Science.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
LDR:03063nam a22004095i 4500 001 1089119
003 DE-He213
005 20220729103832.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031124419 $9 978-3-031-12441-9
024 7 $a 10.1007/978-3-031-12441-9 $2 doi
035 $a 978-3-031-12441-9
050 4 $a QA75.5-76.95
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Rewriting Logic and Its Applications $h [electronic resource] : $b 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / $c edited by Kyungmin Bae.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a VIII, 295 p. 39 illus., 14 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13252
505 0 $a Invited Papers -- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes -- Rewriting Privacy -- Invited Tutorials and Experience Report -- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method -- An Overview of the Maude Strategy Language and its Applications -- Teaching Formal Methods to Undergraduate Students Using Maude -- Regular Papers -- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic -- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude -- An Efficient Canonical Narrowing Implementation for Protocol Analysis -- Checking Sufficient Completeness by Inductive Theorem Proving -- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies -- Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT -- Executable Semantics and Type Checking for Session-Based Concurrency in Maude -- Tool Papers -- Parallel Maude-NPA for Cryptographic Protocol Analysis -- Maude as a Library: An Efficient All-Purpose Programming Interface.
520 $a This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Software Engineering. $3 669632
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 0 $a Discrete mathematics. $3 1254302
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer networks . $3 1365720
650 0 $a Computer engineering. $3 569006
650 0 $a Machine theory. $3 527775
650 0 $a Software engineering. $3 562952
650 0 $a Computer science. $3 573171
700 1 $a Bae, Kyungmin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1209217
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031124402
776 0 8 $i Printed edition: $z 9783031124426
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-12441-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)