Perspectives of System Informatics

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.

The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

Table of Contents

Chapter 1. An Architecture for Non-invasive Software Measurement
Chapter 2. A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
Chapter 3. Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
Chapter 4. Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method
Chapter 5. A Platform for Security Monitoring of Multi-cloud Applications
Chapter 6. The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach
Chapter 7. PosDB: A Distributed Column-Store Engine
Chapter 8. Microservices: How To Make Your Application Scale
Chapter 9. Static Binary Code Instrumentation for ARM Architecture
Chapter 10. A Behavioural Theory for Reflective Sequential Algorithms
Chapter 11. Lightweight Non-intrusive Virtual Machine Introspection
Chapter 12. A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population
Chapter 13. A Framework for Dynamical Construction of Software Components
Chapter 14. A Transformation-Based Approach to Developing High-Performance GPU Programs
Chapter 15. Domain Engineering the Magnolia Way
Chapter 16. Approximating Event System Abstractions by Covering Their States and Transitions
Chapter 17. Implementing the Symbolic Method of Verification in the C-Light Project
Chapter 18. Highlights of the Rice-Shapiro Theorem in Computable Topology
Chapter 19. A Memory Model for Deductively Verifying Linux Kernel Modules
Chapter 20. Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees
Chapter 21. An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
Chapter 22. Compositional Relational Programming with Name Projection and Compositional Synthesis
Chapter 23. WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method
Chapter 24. Distributed In Situ Processing of Big Raster Data in the Cloud
Chapter 25. Statistical Approach to Increase Source Code Completion Accuracy
Chapter 26. Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
Chapter 27. Runtime Specialization of PostgreSQL Query Executor
Chapter 28. MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
Chapter 29. Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor
Chapter 30. Towards Automated Static Verification of GNU C Programs
Chapter 31. Domain Specific Semantic Validation of Schema.org Annotations