Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers /: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers. (2015)

• Record Type: Book
• Other Titles: PSI 2014
• Further Information: Note: Andrei Voronkov, Irina Virbitskaite (eds.).
• Editors: Voronkov, Andrei, 1959-; Virbitskaite, Irina
• Other Names: International Andrei Ershov Memorial Conference, 9th
• Contents: Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint AND-Decomposition of Boolean Formulas -- A Multi-agent Text Analysis Based on Ontology of Subject Domain -- Towards High-Level Programming for Systems with Many Cores -- Inductive Prover Based on Equality Saturation for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups, Bisimulation and Distillation -- Certifying Supercompilation for Martin-Löf's Type Theory -- Index Sets as a Measure of Continuous Constraint Complexity -- Decidability and Expressiveness of Recursive Weighted Logic -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing Combinators with Choice -- The Study of Multidimensional R-Tree-based Index Scalability in Multicore Environment -- Skeblle: A new Kind of Diagramming Tool with Programmable Active Diagrams -- The Role of Indirections in Lazy Natural Semantics -- Model Checking Value-Passing Modal Specifications -- Towards Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback -- Towards Symbolic Execution in Erlang -- Bonsai: Cutting Models Down to Size -- Comparing Semantics Under Strong Timing of Petri Nets -- Probabilistic Formal Concepts for Contexts with Negation -- Modeling Environment for Static Verification of Linux Kernel Modules.
• Publisher Details: Berlin, Heidelberg : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiii, 415 pages), illustrations
• Subjects: 005.1; Software engineering -- Congresses; Computer science -- Congresses; Computer science -- Mathematics -- Congresses; Computer science; Computer science -- Mathematics; Software engineering; Engineering & Applied Sciences; Computer Science; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783662468234; 3662468239; 3662468220; 9783662468227
• Related ISBNs: 9783662468227
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 28, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.