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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bjørner, Dines (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Broy, Manfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zamulin, Alexandre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2244
• Θέματα: Architecture, Computer.; Programming languages (Electronic computers).; Computer logic.; Computer programming.; Software engineering.; Computers.; Computer System Implementation.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Programming Techniques.; Software Engineering.; Computation by Abstract Devices.

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...

Πίνακας περιεχομένων:

• 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
• Testing
• Specification Based Testing: Towards Practice
• Java Specification Extension for Automated Test Development
• Specification-Based Testing of Firewalls
• Software Construction
• Academic vs. Industrial Software Engineering: Closing the Gap
• A Method for Recovery and Maintenance of Software Architecture
• An Empirical Study of Retargetable Compilers
• Data & Knowledge Bases
• Conceptual Data Modeling: An Algebraic Viewpoint
• Integrating and Managing Conflicting Data
• A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents
• Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
• Logic Programming
• Reexecution-Based Analysis of Logic Programs with Delay Declarations
• Pos(T ): Analyzing Dependencies in Typed Logic Programs
• A Prolog Tailoring Technique on an Epilog Tailored Procedure
• Constraint Programming
• Hierarchical Constraint Satisfaction Based on Subdefinite Models
• Using Constraint Solvers in CAD/CAM Systems
• A Graphical Interface for Solver Cooperations
• Program Analysis
• Abstract Computability of Non-deterministic Programs over Various Data Structures
• On Lexicographic Termination Ordering with Space Bound Certifications
• Generalised Computability and Applications to Hybrid Systems
• Language Implementation
• Exploring Template Template Parameters
• Compiler-Cooperative Memory Management in Java
• A Software Composition Language and Its Implementation
• Editor Definition Language and Its Implementation
• Oberon-2 as Successor of Modula-2 in Simulation.