000 05255nam a22006375i 4500
001 978-3-319-74313-4
003 DE-He213
005 20240730183051.0
007 cr nn 008mamaa
008 180117s2018 sz | s |||| 0|eng d
020 _a9783319743134
_9978-3-319-74313-4
024 7 _a10.1007/978-3-319-74313-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aPerspectives of System Informatics
_h[electronic resource] :
_b11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
_cedited by Alexander K. Petrenko, Andrei Voronkov.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXI, 432 p. 80 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10742
505 0 _aAn Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code -- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method -- Multi-cloud Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach -- PosDB: A Distributed Column-store Engine -- Microservices: How To Make Your Application Scale -- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population -- A Framework for Dynamical Construction of Software Components -- A Transformation-Based Approach for Developing High-Performance GPU Programs -- Domain Engineering the Magnolia Way -- Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method -- Distributed In Situ Processing of Big Raster Data in the Cloud -- Statistical Approach to Increase Source Code Completion Accuracy -- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation -- Runtime Specialization of PostgreSQL Query Executor -- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor -- Towards Automated Static Verification of GNU C Programs -- Domain Specific Semantic Validation of Schema.org Annotations. .
520 _aThis 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.
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aElectronic digital computers
_xEvaluation.
_921495
650 0 _aComputers.
_98172
650 0 _aProfessions.
_984435
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9130350
650 2 4 _aSystem Performance and Evaluation.
_932047
650 2 4 _aThe Computing Profession.
_984437
700 1 _aPetrenko, Alexander K.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9130351
700 1 _aVoronkov, Andrei.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9130352
710 2 _aSpringerLink (Online service)
_9130353
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319743127
776 0 8 _iPrinted edition:
_z9783319743141
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10742
_9130354
856 4 0 _uhttps://doi.org/10.1007/978-3-319-74313-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91649
_d91649