東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Rewriting logic and its applications...

WRLA (Conference) (2022 :)

FindBook

Google Book

Amazon

博客來

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 /
其他題名:	WRLA 2022
其他作者:	Bae, Kyungmin.
團體作者:	WRLA (Conference)
出版者:	Cham :Springer International Publishing : : 2022.,
面頁冊數:	viii, 295 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer logic - Congresses. -
電子資源:	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] :WRLA 2022edited by Kyungmin Bae. - Cham :Springer International Publishing :2022. - viii, 295 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,132520302-9743 ;. - Lecture notes in computer science ;13252..

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:

726280
Computer logic
--Congresses.

LC Class. No.: QA76.9.L63 / W75 2022

Dewey Class. No.: 005.1015113

Rewriting logic and its applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022 : revised selected papers /
LDR:02756nmm a2200349 a 4500 001 2302509
003 DE-He213
005 20220729103832.0
006 m d
007 cr nn 008maaau
008 230409s2022 sz s 0 eng d
020 $a 9783031124419 $q (electronic bk.)
020 $a 9783031124402 $q (paper)
024 7 $a 10.1007/978-3-031-12441-9 $2 doi
035 $a 978-3-031-12441-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63 $b W75 2022
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.1015113 $2 23
090 $a QA76.9.L63 $b W956 2022
111 2 $a WRLA (Conference) $n (14th : $d 2022 : $c Munich, Germany) $3 3602904
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.
246 3 $a WRLA 2022
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a viii, 295 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 0 $a Computer logic $x Congresses. $3 726280
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
700 1 $a Bae, Kyungmin. $3 3602905
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13252. $3 3602906
856 4 0 $u https://doi.org/10.1007/978-3-031-12441-9
950 $a Computer Science (SpringerNature-11645)