Skip to main content
SpringerLink
Log in

Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Andrei Voronkov

    1. School of Computer Science, University of Manchester, Manchester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Irina Virbitskaite

    1. A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: PSI 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Descriptive Types for Linked Data Resources

    • Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
    Pages 1-25

  3. \(2^5\) Years of Model Checking

    • Edmund M. Clarke, Qinsi Wang
    Pages 26-40

  4. Big Data, Big Systems, Big Challenges: A Personal Experience

    • Vadim E. Kotov
    Pages 41-44

  5. An Automatic Technique for Static Deadlock Prevention

    • Bertrand Meyer
    Pages 45-58

  6. Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs

    • Michael Dever, G. W. Hamilton
    Pages 59-66

  7. Lingva: Generating and Proving Program Properties Using Symbol Elimination

    • Ioan Dragan, Laura Kovács
    Pages 67-75

  8. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

    • Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
    Pages 76-91

  9. On Tractability of Disjoint AND-Decomposition of Boolean Formulas

    • Pavel Emelyanov, Denis Ponomaryov
    Pages 92-101

  10. A Multi-agent Text Analysis Based on Ontology of Subject Domain

    • Natalia Garanina, Elena Sidorova, Eugene Bodin
    Pages 102-110

  11. Towards High-Level Programming for Systems with Many Cores

    • Sergei Gorlatch, Michel Steuwer
    Pages 111-126

  12. Inductive Prover Based on Equality Saturation for a Lazy Functional Language

    • Sergei Grechanik
    Pages 127-141

  13. Timed History Preserving Bisimulation and Open Maps

    • Nataliya S. Gribovskaya
    Pages 142-150

  14. Process Opacity for Timed Process Algebra

    • Damas P. Gruska
    Pages 151-160

  15. A Proof-Based Method for Modelling Timed Systems

    • Alexei Iliasov, Jeremy Bryans
    Pages 161-176

  16. Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)

    • Neil D. Jones, G. W. Hamilton
    Pages 177-185

  17. Certifying Supercompilation for Martin-Löf’s Type Theory

    • Ilya Klyuchnikov, Sergei Romanenko
    Pages 186-200

  18. Index Sets as a Measure of Continuous Constraint Complexity

    • Margarita Korovina, Oleg Kudinov
    Pages 201-215

  19. Decidability and Expressiveness of Recursive Weighted Logic

    • Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
    Pages 216-231

  20. Supercompilation for Datatypes

    • Torben Ægidius Mogensen
    Pages 232-247
Back to top

Other volumes

  1. Perspectives of System Informatics

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation