Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

A.P. Ershov— A Pioneer and a Leader of National Programming....Pages 1-7
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts....Pages 8-23
The Abstract State Machine Paradigm: What Is in and What Is out....Pages 24-24
On Algorithmic Unsolvability....Pages 25-32
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially....Pages 33-38
On Expressive and Model Checking Power of Propositional Program Logics....Pages 39-46
An Extension of Dynamic Logic for Modelling OCL’s @ pre Operator....Pages 47-54
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions....Pages 55-63
A Transformation of SDL Specifications— A Step towards the Verification....Pages 64-78
Accurate Widenings and Boundedness Properties of Timed Systems....Pages 79-94
Adaptive Saturation-Based Reasoning....Pages 95-108
A Verification Approach for Distributed Abstract State Machines....Pages 109-115
Transformational Construction of Correct Pointer Algorithms....Pages 116-130
A Theoretical Foundation of Program Synthesis by Equivalent Transformation....Pages 131-139
Equivalent Transformation by Safe Extension of Data Structures....Pages 140-148
Semantics and Transformations in Formal Synthesis at System Level....Pages 149-156
Automated Program Synthesis for Java Programming Language....Pages 157-164
The Varieties of Programming Language Semantics And Their Uses....Pages 165-190
Binding-Time Analysis for Polymorphic Types....Pages 191-204
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus....Pages 205-213
Observational Semantics for Timed Event Structures....Pages 214-224
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs....Pages 225-239
Dynamical Priorities without Time Measurement and Modification of the TCP....Pages 240-245
From ADT to UML-Like Modelling....Pages 246-246
Transformation of UML Specification to XTG....Pages 247-254
A Systematic Approach towards Object-Based Petri Net Formalisms....Pages 255-267
Unfoldings of Coloured Petri Nets....Pages 268-278
A Net-Based Multi-tier Behavior Inheritance Modelling Method....Pages 279-286
Specification Based Testing: Towards Practice....Pages 287-300
Java Specification Extension for Automated Test Development....Pages 301-307
Specification-Based Testing of Firewalls....Pages 308-316
Academic vs. Industrial Software Engineering: Closing the Gap....Pages 317-323
A Method for Recovery and Maintenance of Software Architecture....Pages 324-327
An Empirical Study of Retargetable Compilers....Pages 328-335
Conceptual Data Modeling: An Algebraic Viewpoint....Pages 336-348
Integrating and Managing Conflicting Data....Pages 349-362
A Knowledge Engineering Approach to Deal with ‘Narrative’ Multimedia Documents....Pages 363-377
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach....Pages 378-394
Reexecution-Based Analysis of Logic Programs with Delay Declarations....Pages 395-405
 Pos(T ) : Analyzing Dependencies in Typed Logic Programs....Pages 406-420
A Prolog Tailoring Technique on an Epilog Tailored Procedure....Pages 421-433
Hierarchical Constraint Satisfaction Based on Subdefinite Models....Pages 434-445
Using Constraint Solvers in CAD/CAM Systems....Pages 446-456
A Graphical Interface for Solver Cooperations....Pages 457-467
Abstract Computability of Non-deterministic Programs over Various Data Structures....Pages 468-481
On Lexicographic Termination Ordering with Space Bound Certifications....Pages 482-493
Generalised Computability and Applications to Hybrid Systems....Pages 494-499
Exploring Template Template Parameters....Pages 500-510
Compiler-Cooperative Memory Management in Java....Pages 511-518
A Software Composition Language and Its Implementation....Pages 519-529
Editor Definition Language and Its Implementation....Pages 530-537
Oberon-2 as Successor of Modula-2 in Simulation....Pages 538-545