Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

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