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

Front Cover
Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
Springer Science & Business Media, Jan 26, 2000 - Computers - 540 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Common Framework Initiative for Algebraic Specification and Development of Software
1
A Logical Approach to Specification of Hybrid Systems
10
Algebraic Imperative Specifications
17
Enhanced Control Flow Graphs in Montages
40
Abstract State Machines for the Composition of Architectural Styles
54
The Essence of Program Transformation by Partial Evaluation and Driving
62
One Size Does Not Fit All
80
AbstractionBased Partial Deduction for Solving Inverse Problems A Transformational Approach to Software Verication
93
A Technique for Structuring FunctionalLogic Programs
297
Language Tools and Programming Systems in Educational Informatics
311
Current Directions in HyperProgramming
316
Integration of Different commitIsolation Protocols in CSCW Systems with Shared Data
341
A General ObjectOriented Model for Spatial Data
352
Twin A Design Pattern for Modeling Multiple Inheritance
358
A Partial Semantics for Object Data Models with Static Binding
370
Heterogeneous Nested STL Containers in C++
383

Sonic Partial Deduction
101
On Perfect Supercompilation
113
Linear Time SelfInterpretation of the Pure Lambda Calculus
128
An Optimal Algorithm for Purging Regular Schemes
143
Polymorphism in OBJP
149
A Multiview Approach
155
Serializability Preserving Extensions of Concurrency Control Protocols
180
Platform Independent Approach for Detecting Shared Memory Parallelism
194
Hierarchical CauseEffect Structures
198
Some Decidability Results for Nested PetriNets
208
Abstract Structures for Communication between Processes
221
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
228
On Semantics and Correctness of Reactive RuleBased Programs
235
Compositional Verification of CCS Processes
247
Compositional Style of Programming FPGAs
257
Using Experiments to Build a Body of Knowledge
265
A Brief Survey and NewResults
283
Data Flow Analysis of Java Programs in the Presence of Exceptions
389
Late Adaptation of Method Invocation Semantics
396
A Control Language for Designing Constraint Solvers
402
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
416
Constraint Programming Techniques for Solving Problems on Graphs
424
Extensional Set Library for ECLiPSe
434
Introducing Mutual Exclusion in Esterel
445
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Speci
460
Formal Verification of a Compiler BackEnd Generic Checker Program
470
Construction of Verified Compiler FrontEnds with ProgramChecking
481
An Approximation to Modular Verificaiton Using the SMV Model Checker
493
Multiagent Optimal Path Planning for Mobile Robots in Environment with Obstacles
503
Approach to Understanding Weather Forecast Telegrams with AgentBased Technique
511
Approach to Development of a System for Speech Interaction with an Intelligent Robot
517
A Step Towards Multilingual Machine Translation for Sign Languages
530
Author Index
538
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information