Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Elettronico eBook |
| Lingua: | inglese |
| Pubblicazione: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edizione: | 1st ed. 2023. |
| Serie: | Lecture Notes in Computer Science,
13710 |
| Soggetti: | |
| Accesso online: | https://doi.org/10.1007/978-3-031-43345-0 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- Invited Talks
- Taming Distributed System Complexity through Formal Patterns
- Why Adjunctions Matter — a Functional Programmer Perspective
- Standard Contributions
- A Computability Perspective on (Verified Machine Learning
- A Presheaf Semantics for Quantifie Temporal Logics
- Shades of Iteration: from Elgot to Kleene
- Automated QoS-Aware Service Selection Based on Soft Constraints
- Runtime Composition Of Systems of Interacting Cyber-Physical Components
- SpeX: a rewriting-based formal specificatio environment.