Recent Trends in Algebraic Development Techniques : 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers / / edited by Ionuț Țuțu
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Recent Trends in Algebraic Development Techniques : 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers / / edited by Ionuț Țuțu
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (IX, 135 p. 18 illus., 2 illus. in color.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Computer science |
| Machine theory | |
| Computer programming | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Programming Techniques | |
| Persona (resp. second.): | TutuIonut |
| Nota di contenuto: | -- Invited Papers. -- Finite Approximations of the Common Meadow of Rational Numbers. -- Some Uses of Modal Semirings. -- Contributed Papers. -- Bialgebraic Representation of Coordination Frameworks. -- Topological Inquiry in Abstract Model Theory. -- The Institution of Many-Logics Modal Logic. -- Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Recent Trends in Algebraic Development Techniques |
| ISBN: | 9783031889301 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996660363903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 15587