Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8974)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): PSI: International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Conference proceedings info: PSI 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (32 papers)
-
Front Matter
About this book
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.Â
The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Keywords
- Computational complexity
- Concurrency
- Formal languages and automata theory
- Foundations of program developments
- Functional languages
- Information technologies
- Knowledge engineering
- Knowledge management
- Knowledge-based systems
- Logic
- Model checking
- Models of computation
- Program analysis
- Program constructs
- Programming methodology
- Semantics and reasoning
- Software engineering
- System analysis
- System development
- Timed and hybrid models
Editors and Affiliations
-
School of Computer Science, University of Manchester, Manchester, United Kingdom
Andrei Voronkov
-
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Irina Virbitskaite
Bibliographic Information
Book Title: Perspectives of System Informatics
Book Subtitle: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Editors: Andrei Voronkov, Irina Virbitskaite
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-46823-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-46822-7Published: 30 April 2015
eBook ISBN: 978-3-662-46823-4Published: 20 April 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 415
Number of Illustrations: 106 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Computation by Abstract Devices