Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9034)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: FoSSaCS 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (29 papers)
-
Invited Talk
-
Semantics of Programming Languages I
-
Categorical Models and Logics
-
Modal and Temporal Logics
-
Concurrent, Probabilistic and Timed Systems
Other volumes
-
Foundations of Software Science and Computation Structures
Keywords
- Analysis tools
- B formal language
- Certification
- Component reuse
- Component-based software
- Compositionality
- Consistency checking
- Evolution rules
- Formal methods
- Formal models
- Formal semantics
- Modeling approaches
- Models of computation
- Program analysis
- Quantitative verification
- Service-oriented computing
- Software adaptation
- Software verification and validation
- Timed automata
- Transformation
About this book
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.
Editors and Affiliations
Bibliographic Information
Book Title: Foundations of Software Science and Computation Structures
Book Subtitle: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Editors: Andrew Pitts
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-46678-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-46677-3Published: 09 April 2015
eBook ISBN: 978-3-662-46678-0Published: 31 March 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 465
Number of Illustrations: 92 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering, Computation by Abstract Devices