Recent Trends in Algebraic Development Techniques

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Ionuț Țuțu 

I S B N：(纸本) 9783031889295 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：IX, 135页

主 题 词：Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques 

摘      要：This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.