Publication year: 2018
ISBN: 978-3-319-89366-2
Internet Resource: Please Login to download book
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), which was held April 16–19, 2018, in Thessaloniki, Greece. The conference is dedicated to foundational research with a clear significance for software science and brings together research on theories and methods to support the analysis, integration, synthesis,transformation, and verification of programs and software systems.
Subject: Open Access, artificial intelligence, computer software selection and evaluation, formal logic, graph theory, modal logic, petri nets, program compilers, programming language, semantics, separation logic, software engineering, theorem proving, type systems, verification