Go to main content

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.).

WADT (Workshop) (24th : 2018 : Egham, England); Fiadeiro, José Luiz, 1961- editor.; Tutu, Ionut, editor.
2019
QA76.76.D47
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
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.).
Meeting Name
WADT (Workshop) (24th : 2018 : Egham, England)
ISBN
9783030232207 (electronic book)
3030232204 (electronic book)
9783030232191
DOI
https://doi.org/10.1007/978-3-030-23220-7
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (ix, 175 pages) : illustrations.
Item Number
10.1007/978-3-030-23220-7 doi
Call Number
QA76.76.D47
Dewey Decimal Classification
005.1
Summary
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. -- Provided by publisher.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 22, 2019).
Added Author
Fiadeiro, José Luiz, 1961- editor.
Tutu, Ionut, editor.
Series
Lecture notes in computer science ; 11563.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Role-based development of dynamically evolving ensembles / Rolf Hennicker
Parameterized strategies specification in Maude / Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, and Alberto Verdejo
An algebraic theory for data linkage / Liang-Ting Chen, Markus Roggenbach, and John V. Tucker
Institutions for SQL database schemas and datasets / Martin Glauer and Till Mossakowski
Finite limits and anti-unification in substitution categories / Wolfram Kahl
A flexible categorial formalisation of term graphs as directed hypergraphs / Wolfram Kahl and Yuhang Zhao
Term charters / Alexander Knapp and María Victoria Cengarle
Constructing constraint-preserving interaction schemes in adhesive categories / Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer
Structuring theories with implicit morphisms / Florian Rabe and Dennis Müller.

Browse Subjects

Show more subjects...

Statistics

from
to
Export