Copertina

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Softwar...

Descrizione completa

Salvato in:
Natura: Online
Lingua:inglese
Pubblicazione: Springer Nature 2022
Soggetti:
Categorical models and logics
language theory, automata, and games
modal, spatial, and temporal logics
type theory and proof theory
concurrency theory and process calculi
rewriting theory
semantics of programming languages
program analysis
logics of programming
software specification and refinement
models of concurrent systems
emerging models of computation
logical aspects of computational complexity
correctness, transformation, and verification
models of software security
thema EDItEUR::U Computing and Information Technology::UY Computer science
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
Accesso online:ONIX_20220413_9783030992538_22
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Riassunto:This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Documenti analoghi