Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alexandre Madeira, Manuel A. Martins 0001, editors, Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Volume 13710 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Conference: WADT2023

Abstract is missing.

Building Correct-by-Construction Systems with Formal PatternsJosé Meseguer 0001. 3-24 [doi]

Why Adjunctions Matter - A Functional Programmer PerspectiveJosé Nuno Oliveira. 25-59 [doi]

A Computability Perspective on (Verified) Machine LearningTonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach. 63-80 [doi]

A Presheaf Semantics for Quantified Temporal LogicsFabio Gadducci, Davide Trotta. 81-99 [doi]

Shades of Iteration: From Elgot to KleeneSergey Goncharov 0001. 100-120 [doi]

Automated QoS-Aware Service Selection Based on Soft ConstraintsElias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp. 121-140 [doi]

Runtime Composition of Systems of Interacting Cyber-Physical ComponentsBenjamin Lion, Farhad Arbab, Carolyn L. Talcott. 141-162 [doi]

SpeX: A Rewriting-Based Formal Specification EnvironmentIonut Tutu. 163-178 [doi]

runs on WebDSL