Perspectives of System Informatics

Memorial Session.- A.P. Ershov- A Pioneer and a Leader of National Programming.- A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.- Computing and Algorithms.- The Abstract State Machine Paradigm: What Is in and What Is out.- On Algorithmic Unsolvability.- Logical Methods.- Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.- On Expressive and Model Checking Power of Propositional Program Logics.- An Extension of Dynamic Logic for Modelling OCL's @pre Operator.- Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.- Verification.- A Transformation of SDL Specifications- A Step towards the Verification.- Accurate Widenings and Boundedness Properties of Timed Systems.- Adaptive Saturation-Based Reasoning.- A Verification Approach for Distributed Abstract State Machines.- Program Transformation and Synthesis.- Transformational Construction of Correct Pointer Algorithms.- A Theoretical Foundation of Program Synthesis by Equivalent Transformation.- Equivalent Transformation by Safe Extension of Data Structures.- Semantics and Transformations in Formal Synthesis at System Level.- Automated Program Synthesis for Java Programming Language.- Semantics & Types.- The Varieties of Programming Language Semantics And Their Uses.- Binding-Time Analysis for Polymorphic Types.- An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.- Processes and Concurrency.- Observational Semantics for Timed Event Structures.- The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.- Dynamical Priorities without Time Measurement and Modification of the TCP.- UML Specification.- From ADT to UML-Like Modelling.- Transformation of UML Specification to XTG.- Petri Nets.- A Systematic Approach towards Object-Based Petri Net Formalisms.- Unfoldings of Coloured Petri Nets.- A Net-Based Multi-tier Behavior Inheritance Modelling Method.-