4. Ershov Memorial Conference 2001: Novosibirsk, Russia

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244 Springer 2001, ISBN 3-540-43075-X

Memorial Session

Igor V. Pottosin:
A.P. Ershov - A Pioneer and a Leader of National Programming. 1-7
Rimma I. Podlovchenko:
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. 8-23

Yuri Gurevich:
The Abstract State Machine Paradigm: What Is in and What Is out. 24
Svyatoslav Sergeevich Lavrov:
On Algorithmic Unsolvability. 25-32

Jan Friso Groote, Hans Zantema:
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. 33-38
Nikolay V. Shilov, Kwang Yi:
On Expressive and Model Checking Power of Propositional Program Logics. 39-46
Thomas Baar, Bernhard Beckert, Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. 47-54
Valeriy Vyatkin:
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. 55-63

Natalia Ioustinova, Natalia Sidorova:
A Transformation of SDL Specifications - A Step towards the Verification. 64-78
Supratik Mukhopadhyay, Andreas Podelski:
Accurate Widenings and Boundedness Properties of Timed Systems. 79-94
Alexandre Riazanov, Andrei Voronkov:
Adaptive Saturation-Based Reasoning. 95-108
Robert Eschbach:
A Verification Approach for Distributed Abstract State Machines. 109-115

Thorsten Ehm:
Transformational Construction of Correct Pointer Algorithms. 116-130
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. 131-139
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures. 140-148
Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp:
Semantics and Transformations in Formal Synthesis at System Level. 149-156
Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu:
Automated Program Synthesis for Java Programming Language. 157-164

Peter D. Mosses:
The Varieties of Programming Language Semantics. 165-190
Rogardt Heldal, John Hughes:
Binding-Time Analysis for Polymorphic Types. 191-204
Torben Æ. Mogensen:
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. 205-213

Irina Virbitskaite:
Observational Semantics for Timed Event Structures. 214-224
Andrei Sabelfeld:
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. 225-239
Valery A. Sokolov, Eugeny A. Timofeev:
Dynamical Priorities without Time Measurement and Modification of the TCP. 240-245

Egidio Astesiano, Maura Cerioli, Gianna Reggio:
From ADT to UML-Like Modelling. 246
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel:
Transformation of UML Specification to XTG. 247-254

Berndt Farwer, Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms. 255-267
Vitaly E. Kozura:
Unfoldings of Coloured Petri Nets. 268-278
Shengyuan Wang, Jian Yu, Chongyi Yuan:
A Net-Based Multi-tier Behavior Inheritance Modelling Method. 279-286

Alexandre Petrenko:
Specification Based Testing: Towards Practice. 287-300
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov:
Java Specification Extension for Automated Test Development. 301-307
Jan Jürjens, Guido Wimmel:
Specification-Based Testing of Firewalls. 308-316

Andrey N. Terekhov, Len Erlikh:
Academic vs. Industrial Software Engineering: Closing the Gap. 317-323
D. V. Koznov, Konstantin Romanovsky, Alexei Nikitin:
A Method for Recovery and Maintenance of Software Architecture. 324-327
Dmitri Boulytchev, Dmitry Lomov:
An Empirical Study of Retargetable Compilers. 328-335

S. Kazem Lellahi:
Conceptual Data Modeling: An Algebraic Viewpoint. 336-348
Sergio Greco, Luigi Pontieri, Ester Zumpano:
Integrating and Managing Conflicting Data. 349-362
Gian Piero Zarri:
A Knowledge Engineering Approach to Deal with `Narrative' Multimedia Documents. 363-377
Vladimir Yu. Sazonov:
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach. 378-394

Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 395-405
Maurice Bruynooghe, Wim Vanhoof, Michael Codish:
Pos(T): Analyzing Dependencies in Typed Logic Programs. 406-420
Yoon-Chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee:
A Prolog Tailoring Technique on an Epilog Tailored Procedure. 421-433

Dmitry Ushakov:
Hierarchical Constraint Satisfaction Based on Subdefinite Models. 434-445
Vitaly Telerman:
Using Constraint Solvers in CAD/CAM Systems. 446-456
Laurent Granvilliers, Eric Monfroy:
A Graphical Interface for Solver Cooperations. 457-467

Nikolaj S. Nikitchenko:
Abstract Computability of Non-deterministic Programs over Various Data Structures. 468-481
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen:
On Lexicographic Termination Ordering with Space Bound Certifications. 482-493
Margarita V. Korovina, Oleg V. Kudinov:
Generalised Computability and Applications to Hybrid Systems. 494-499

Roland Weiss, Volker Simonis:
Exploring Template Template Parameters. 500-510
Vitaly V. Mikheev, Stanislav A. Fedoseev:
Compiler-Cooperative Memory Management in Java. 511-518
Dietrich Birngruber:
A Software Composition Language and Its Implementation. 519-529
Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, Janis Barzdins:
Editor Definition Language and Its Implementation. 530-537
Alexey S. Rodionov, Dmitry V. Leskov:
Oberon-2 as Successor of Modula-2 in Simulation. 538-546