3. Ershov Memorial Conference 1999: Novosibirsk, Russia

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): 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 1755 Springer 2000, ISBN 3-540-67102-1

Algebraic Specifications

Donald Sannella:
The Common Framework Initiative for Algebraic Specification and Development of Software. 1-9
Margarita V. Korovina, Oleg V. Kudinov:
A Logical Approach to Specification of Hybrid Systems. 10-16

Marie-Claude Gaudel, Alexandre V. Zamulin:
Algebraic Imperative Specifications. 17-39
Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio:
Enhanced Control Flow Graphs in Montages. 40-53
Asuman Sünbül:
Abstract State Machines for the Composition of Architectural Styles. 54-61

Neil D. Jones:
The Essence of Program Transformation by Partial Evaluation and Driving. 62-79
Niels H. Christensen, Robert Glück, Søren Laursen:
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. 80-92
Robert Glück, Michael Leuschel:
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. 93-100
Jonathan C. Martin, Michael Leuschel:
Sonic Partial Deduction. 101-112
Jens P. Secher, Morten Heine Sørensen:
On Perfect Supercompilation. 113-127
Torben Æ. Mogensen:
Linear Time Self-Interpretation of the Pure Lambda Calculus. 128-142
Denis L. Uvarov:
An Optimal Algorithm for Purging Regular Schemes. 143-148

Martin Plümicke:
Polymorphism in OBJ-P. 149-154
J. Paul Gibson, Dominique Méry:
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. 155-179
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols. 180-193
Yury V. Chelomin:
Platform Independent Approach for Detecting Shared Memory Parallelism. 194-197
A. P. Ustimenko:
Hierarchical Cause-Effect Structures. 198-207
Irina A. Lomazova, Ph. Schnoebelen:
Some Decidability Results for Nested Petri Nets. 208-220
Gabriel Ciobanu, Emanuel Florentin Olariu:
Abstract Structures for Communication between Processes. 221-227

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. 228-234
Man Lin, Jacek Malec, Simin Nadjm-Tehrani:
On Semantics and Correctness of Reactive Rule-Based Programs. 235-246
Mads Dam, Dilian Gurov:
Compositional Verification of CCS Processes. 247-256
Elena Trichina:
Compositional Style of Programming FPGAs. 257-264

Victor R. Basili, Forrest Shull, Filippo Lanubile:
Using Experiments to Build a Body of Knowledge. 265-282
Gregory Kucherov, Michaël Rusinowitch:
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. 283-296
Rafael Caballero, Francisco Javier López-Fraguas:
Extensions: A Technique for Structuring Functional-Logic Programs. 297-310
S. S. Kobilov:
Language Tools and Programming Systems in Educational Informatics. 311-315

Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle, Alex Farkas, Graham N. C. Kirby, Robert McGettrick, Evangelos Zirintsis:
Current Directions in Hyper-Programming. 316-340
Lars Frank:
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. 341-351
Sima Asgari, Naoki Yonezaki:
A General Object-Oriented Model for Spatial Data. 352-357

Hanspeter Mössenböck:
Twin - A Design Pattern for Modeling Multiple Inheritance. 358-369
S. Kazem Lellahi, Rachid Souah:
A Partial Semantics for Object Data Models with Static Binding. 370-382
Volker Simonis, Roland Weiss:
Heterogeneous, Nested STL Containers in C⁺⁺. 383-388
Vladimir I. Shelekhov, Sergey V. Kuksenko:
Data Flow Analysis of Java Programs in the Presence of Exceptions. 389-395
Markus Hof:
Late Adaptation of Method Invocation Semantics. 396-401

Carlos Castro, Eric Monfroy:
A Control Language for Designing Constraint Solvers. 402-415
Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie:
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. 416-423
Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov:
Constraint Programming Techniques for Solving Problems on Graphs. 424-433
Tatyana M. Yakhno, Evgueni S. Petrov:
Extensional Set Library for ECLⁱPS^e. 434-444

Klaus Schneider, Viktor K. Sabelfeld:
Introducing Mutual Exclusion in Esterel. 445-459
Richard J. Anderson, Paul Beame, William Chan, David Notkin:
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. 460-469
Axel Dold, Vincent Vialard:
Formal Verification of a Compiler Back-End Generic Checker Program. 470-480
Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking. 481-492
Claudio de la Riva, Javier Tuya, José Ramón de Diego:
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. 493-502

Fedor A. Kolushev, Alexander A. Bogdanov:
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles. 503-510
Irina Kononenko, Ivan G. Popov, Yury A. Zagorulko:
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique. 511-516
George B. Cheblakov, Farida G. Dinenberg, David Ya. Levin, Ivan G. Popov, Yury A. Zagorulko:
Approach to Development of a System for Speech Interaction with an Intelligent Robot. 517-529
Susantha Herath, Chie Saito, Ajantha Herath:
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages. 530-