Skip to main content
Springer Nature Link
Log in

Recent Trends in Algebraic Development Techniques

26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Alexandre Madeira

    1. University of Aveiro and CIDMA, Aveiro, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel A. Martins

    1. University of Aveiro and CIDMA, Aveiro, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13710)

Included in the following conference series:

Conference proceedings info: WADT 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).

Keywords

Table of contents (8 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Building Correct-by-Construction Systems with Formal Patterns

      • José Meseguer
      Pages 3-24

    3. Why Adjunctions Matter—A Functional Programmer Perspective

      • José Nuno Oliveira
      Pages 25-59

  3. Standard Contributions

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. A Computability Perspective on (Verified) Machine Learning

      • Tonicha Crook, Jay Morgan, Arno Pauly, Markus Roggenbach
      Pages 63-80

    3. A Presheaf Semantics for Quantified Temporal Logics

      • Fabio Gadducci, Davide Trotta
      Pages 81-99

    4. Shades of Iteration: From Elgot to Kleene

      • Sergey Goncharov
      Pages 100-120

    5. Automated QoS-Aware Service Selection Based on Soft Constraints

      • Elias Keis, Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp
      Pages 121-140

    6. Runtime Composition of Systems of Interacting Cyber-Physical Components

      • Benjamin Lion, Farhad Arbab, Carolyn Talcott
      Pages 141-162

    7. SpeX: A Rewriting-Based Formal Specification Environment

      • Ionuţ Ţuţu
      Pages 163-178

  4. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Editors and Affiliations

  • University of Aveiro and CIDMA, Aveiro, Portugal

    Alexandre Madeira, Manuel A. Martins

Bibliographic Information

  • Book Title: Recent Trends in Algebraic Development Techniques

  • Book Subtitle: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

  • Editors: Alexandre Madeira, Manuel A. Martins

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-43345-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-43344-3Published: 22 October 2023

  • eBook ISBN: 978-3-031-43345-0Published: 21 October 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 179

  • Number of Illustrations: 94 b/w illustrations, 12 illustrations in colour

  • Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques

Publish with us

Policies and ethics

Societies and partnerships

Back to top