Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11563)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: WADT 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
-
Invited Talk
-
Survey Papers
-
Contributed Papers
Other volumes
-
Recent Trends in Algebraic Development Techniques
Keywords
About this book
The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic
integration, relational databases, and service-oriented computing.
Editors and Affiliations
Bibliographic Information
Book Title: Recent Trends in Algebraic Development Techniques
Book Subtitle: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Editors: José Luiz Fiadeiro, Ionuț Țuțu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-23220-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2019
Softcover ISBN: 978-3-030-23219-1Published: 26 June 2019
eBook ISBN: 978-3-030-23220-7Published: 25 June 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 175
Number of Illustrations: 842 b/w illustrations, 7 illustrations in colour
Topics: Logics and Meanings of Programs