+612 9045 4394
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Manfred Broy

Perspectives of Systems Informatics

5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

By: Manfred Broy (Editor), Alexandre V. Zamulin (Editor)

Paperback Published: 13th January 2004
ISBN: 9783540208136
Number Of Pages: 572

Share This Book:


or 4 easy payments of $42.38 with Learn more
Ships in 5 to 9 business days

Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), July 9-12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov's closest colleague, the late Prof. Igor Pottosin (1933-2001), and his outstanding cont- bution towards advancing informatics. The ?rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi?cant international events. Andrei Ershov was one of the early Russian pioneers in the ?eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step ?lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University.

The Verifying Compiler: a Grand Challenge for Computing Researchp. 1
Linear Types for Cashflow Reengineeringp. 13
Storing Properties in Grouped Tagged Tuplesp. 22
A Polymorphic Radix-n Framework for Fast Fourier Transformsp. 30
Intersecting Classes and Prototypesp. 37
Bending without Breaking: Making Software More Flexiblep. 46
Program Construction in the Context of Evolutionary Computationp. 50
A Layered Architecture Sustaining Model-Driven and Event-Driven Software Developmentp. 58
The Outside-In Method of Teaching Introductory Programmingp. 66
Numeric Types in Formal Synthesisp. 79
On the Possibility of Provably Secure Obfuscating Programsp. 91
Verification-Oriented Language C-light and Its Structural Operational Semanticsp. 103
Proofs-as-Imperative-Programs: Application to Synthesis of Contractsp. 112
On the Visualization and Aesthetics of Large Graphsp. 120
Data Mappings in the Model-View-Controller Patternp. 121
The Translation Power of the Futamura Projectionsp. 133
A Compiler Generator for Constraint Logic Programsp. 148
The Supercompiler SCP4: General Structurep. 162
Partial Evaluation for Common Intermediate Languagep. 171
Timed Verification with [mu]CRLp. 178
Verification of Distributed Dataspace Architecturesp. 192
Using SPIN and STeP to Verify Business Processes Specificationsp. 207
Integrating Tools for Automatic Program Verificationp. 214
A Logical Reconstruction of Reachabilityp. 222
Recent Advances in [Sigma]-Definability over Continuous Data Typesp. 238
Open Maps and Trace Semantics for Timed Partial Order Modelsp. 248
Confidentiality for Multithreaded Programs via Bisimulationp. 260
Dynamic Modification of System Structures Using LLPNsp. 274
Principles for Entity Authenticationp. 294
Causality and Replication in Concurrent Processesp. 307
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systemsp. 319
Teams of Pushdown Automatap. 329
Algebraic State Machines: Concepts and Applications to Securityp. 338
Combining Aspects of Reactive Systemsp. 344
OCL Extended with Temporal Logicp. 351
The Definition of Transitive Closure with OCL - Limitations and Applicationsp. 358
Improving the Consistency Checking Process by Reusing Formal Verification Knowledgep. 366
Complexity of Model Checking by Iterative Improvement: the Pseudo-Boolean Frameworkp. 381
Polynomial Approximations for Model Checkingp. 395
Separating Search and Strategy in Solver Cooperationsp. 401
Industrial Application of External Black-Box Functions in Constraint Programming Solverp. 415
LGS: Geometric Constraint Solverp. 423
On Strategies of the Narrowing Operator Selection in the Constraint Propagation Methodp. 430
ProgDOC - a New Program Documentation Systemp. 437
Integration of Functional and Timed Testing of Real-Time and Concurrent Systemsp. 449
Test Case Generation for UML Statechartsp. 461
Conceptual Content Modeling and Managementp. 469
A Relational Algebra for Functional Logic Deductive Databasesp. 494
Implication of Functional Dependencies for Recursive Queriesp. 509
TeXOR: Temporal XML Database on an Object-Relational Database Systemp. 519
Functional Dependencies, from Relational to XMLp. 530
Data-Object Replication, Distribution and Mobility in Network Environmentsp. 538
Multi-classification of Patent Applications with Winnowp. 545
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Sensesp. 555
An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systemsp. 562
Author Indexp. 569
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540208136
ISBN-10: 3540208135
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 572
Published: 13th January 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.07
Weight (kg): 0.83