This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.
Author(s): Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Series: Lecture Notes in Computer Science 2244
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 550
Tags: Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Computation by Abstract Devices
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
