國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Perspectives of System Informatics/ edited by Andrei Voronkov, Irina Virbitskaite.
其他題名:	9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
其他作者:	Voronkov, Andrei.
面頁冊數:	XIII, 415 p. 106 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer logic. -
電子資源:	https://doi.org/10.1007/978-3-662-46823-4
ISBN:	9783662468234

Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
Perspectives of System Informatics9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /[electronic resource] :edited by Andrei Voronkov, Irina Virbitskaite. - 1st ed. 2015. - XIII, 415 p. 106 illus.online resource. - Theoretical Computer Science and General Issues ;8974. - Theoretical Computer Science and General Issues ;9163.

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.

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.

ISBN: 9783662468234

Standard No.: 10.1007/978-3-662-46823-4doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
LDR:04145nam a22004335i 4500 001 969341
003 DE-He213
005 20200704014159.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783662468234 $9 978-3-662-46823-4
024 7 $a 10.1007/978-3-662-46823-4 $2 doi
035 $a 978-3-662-46823-4
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Perspectives of System Informatics $h [electronic resource] : $b 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / $c edited by Andrei Voronkov, Irina Virbitskaite.
250 $a 1st ed. 2015.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a XIII, 415 p. 106 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 8974
505 0 $a 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.
520 $a 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.
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Software engineering. $3 562952
650 0 $a Computers. $3 565115
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computation by Abstract Devices. $3 669792
700 1 $a Voronkov, Andrei. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 674793
700 1 $a Virbitskaite, Irina. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 885384
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662468241
776 0 8 $i Printed edition: $z 9783662468227
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-662-46823-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)