| spelling |
oapen-20.500.12657-482182021-04-21T07:31:55Z Foundations of Software Science and Computation Structures Kiefer, Stefan Tasson, Christine Mathematical Logic and Formal Languages Theory of Computation Natural Language Processing (NLP) Database Management Programming Techniques Formal Languages and Automata Theory automata theory databases formal languages formal logic computational linguistics open access semantics 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 logical foundations of data bases models of software security logical aspects of computation complexity logics of programming Mathematical theory of computation Computer science Natural language & machine translation Database programming Computer programming / software engineering bic Book Industry Communication::U Computing & information technology::UY Computer science bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence bic Book Industry Communication::U Computing & information technology::UN Databases bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 2021-04-20T12:47:34Z 2021-04-20T12:47:34Z 2021 book ONIX_20210420_9783030719951_14 9783030719951 https://library.oapen.org/handle/20.500.12657/48218 eng Lecture Notes in Computer Science; Theoretical Computer Science and General Issues application/pdf Attribution 4.0 International 9783030719951.pdf https://www.springer.com/9783030719951 Springer Nature Springer 10.1007/978-3-030-71995-1 10.1007/978-3-030-71995-1 6c6992af-b843-4f46-859c-f6e9998e40d5 78d37288-5df6-4c27-88a4-b5d766b84435 9783030719951 Springer 12650 574 [grantnumber unknown] open access
|
| description |
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
|
