|
" Recent trends in algebraic development techniques : "
José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
862493
|
| Main Entry
|
:
|
WADT (Workshop)(24th :2018 :, Egham, England)
|
| Title & Author
|
:
|
Recent trends in algebraic development techniques : : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers /\ José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2019.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 11563
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (ix, 175 pages) :: illustrations (some color)
|
| ISBN
|
:
|
3030232204
|
|
|
:
|
: 9783030232207
|
|
|
:
|
9783030232191
|
| Notes
|
:
|
Includes author index.
|
| Abstract
|
:
|
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. 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. --
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Subject
|
:
|
Computer software-- Development, Congresses.
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Computer software-- Development.
|
| Subject
|
:
|
Formal methods (Computer science)
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.76.D47
|
| Added Entry
|
:
|
Fiadeiro, José Luiz,1961-
|
|
|
:
|
Tutu, Ionut
|
| Parallel Title
|
:
|
WADT 2018
|
| |