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.
Author(s): Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)
Series: Lecture Notes in Computer Science 1755
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 540
Tags: Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Artificial Intelligence (incl. Robotics)
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
