Central Library

Normal view MARC view ISBD view

Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae.

Contributor(s): Bae, Kyungmin [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 13252Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: VIII, 295 p. 39 illus., 14 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031124419.Subject(s): Computer science | Software engineering | Machine theory | Computer engineering | Computer networks  | Computer science -- Mathematics | Discrete mathematics | Computer Science Logic and Foundations of Programming | Software Engineering | Formal Languages and Automata Theory | Computer Engineering and Networks | Discrete Mathematics in Computer ScienceAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
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 ModuloSMT -- 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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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 ModuloSMT -- 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.

There are no comments for this item.

Log in to your account to post a comment.