Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)

This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence. The Common Framework Initiative for Algebraic Specification and Development of Software....Pages 1-9 A Logical Approach to Specification of Hybrid Systems....Pages 10-16 Algebraic Imperative Specifications....Pages 17-39 Enhanced Control Flow Graphs in Montages....Pages 40-53 Abstract State Machines for the Composition of Architectural Styles....Pages 54-61 The Essence of Program Transformation by Partial Evaluation and Driving....Pages 62-79 Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All....Pages 80-92 Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification....Pages 93-100 Sonic Partial Deduction....Pages 101-112 On Perfect Supercompilation....Pages 113-127 Linear Time Self-Interpretation of the Pure Lambda Calculus....Pages 128-142 An Optimal Algorithm for Purging Regular Schemes....Pages 143-148 Polymorphism in OBJ-P....Pages 149-154 Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem....Pages 155-179 Serializability Preserving Extensions of Concurrency Control Protocols....Pages 180-193 Platform Independent Approach for Detecting Shared Memory Parallelism....Pages 194-197 Hierarchical Cause-Effect Structures....Pages 198-207 Some Decidability Results for Nested Petri Nets....Pages 208-220 Abstract Structures for Communication between Processes....Pages 221-227 Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs....Pages 228-234 On Semantics and Correctness of Reactive Rule-Based Programs....Pages 235-246 Compositional Verification of CCS Processes....Pages 247-256 Compositional Style of Programming FPGAs....Pages 257-264 Using Experiments to Build a Body of Knowledge....Pages 265-282 Patterns in Words versus Patterns in Trees: A Brief Survey and New Results....Pages 283-296 Extensions: A Technique for Structuring Functional-Logic Programs....Pages 297-310 Language Tools and Programming Systems in Educational Informatics....Pages 311-315 Current Directions in Hyper-Programming....Pages 316-340 Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data....Pages 341-351 A General Object-Oriented Model for Spatial Data....Pages 352-357 Twin — A Design Pattern for Modeling Multiple Inheritance....Pages 358-369 A Partial Semantics for Object Data Models with Static Binding....Pages 370-382 Heterogeneous, Nested STL Containers in C ++ ....Pages 383-388 Data Flow Analysis of Java Programs in the Presence of Exceptions....Pages 389-395 Late Adaptation of Method Invocation Semantics....Pages 396-401 A Control Language for Designing Constraint Solvers....Pages 402-415 An Algorithm to Compute Inner Approximations of Relations for Interval Constraints....Pages 416-423 Constraint Programming Techniques for Solving Problems on Graphs....Pages 424-433 Extensional Set Library for ECL i PS e ....Pages 434-444 Introducing Mutual Exclusion in Esterel....Pages 445-459 Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications....Pages 460-469 Formal Verification of a Compiler Back-End Generic Checker Program....Pages 470-480 Construction of Verified Compiler Front-Ends with Program-Checking....Pages 481-492 Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker....Pages 493-502 Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles....Pages 503-510 Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique....Pages 511-516 Approach to Development of a System for Speech Interaction with an Intelligent Robot....Pages 517-529 Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages....Pages 530-537 This Volume Comprises The Papers Presented At The Third International Andrei Ershov Memorial Conference \perspectives Of System Informatics, Akadem- Rodok (novosibirsk, Russia), July 6{9, 1999. The Main Goal Of The Conference Was To Give An Overview Of Research Directions Which Are Decisive For The Growth Of Major Areas Of Research Activities In System Informatics. The Conference Was The Third One In The Line. The R St And Second Inter- Tionalconferences\perspectivesofsysteminformaticswereheldinnovosibirsk, Akademgorodok, In May, 1991, And June, 1996, Respectively. Both Conferences Gathered A Wide Spectrum Of Specialists And Were Undoubtedly Very Successful. The Third Conferenceincluded Many Of The Subjects Of The Second Conference, Such As Theoretical Computer Science, Programming Methodology, New Infor- Tiontechnologies,andthepromising Eldofarti Cialintelligence|asimportant Components Of System Informatics. The Style Of The Second Conference Was P- Served To A Certain Extent In That There Were A Considerable Number Of Invited Papers In Addition To The Contributed Papers. However,posters Were Replaced By Short Talks Mainly Given By Young Researchers. The Common Framework Initiative For Algebraic Specification And Development Of Software / D. Sannella -- A Logical Approach To Specification Of Hybrid Systems / M.v. Korovina And O.v. Kudinov -- Algebraic Imperative Specifications / M.-c. Gaudel And A. Zamulin -- Enhanced Control Flow Graphs In Montages / M. Anlauff, Ph. W. Kutter And A. Pierantonio / [and Others] -- Abstract State Machines For The Composition Of Architectural Styles / A. Sunbul -- The Essence Of Program Transformation By Partial Evaluation And Driving / N.d. Jones -- Binding-time Analysis In Partial Evaluation: One Size Does Not Fit All / N.h. Christensen, R. Gluck And S. Laursen. Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.). Includes Bibliographical References And Index. The papers in this volume are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented programming; and many more.