Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

By: Dines BjÃ¸rner (Editor), Manfred Broy (Editor), Alexandre Zamulin (Editor)

Write A Review

Paperback | 14 December 2001

At a Glance

Paperback
568 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Technology in General Engineering in General Medicine Medicine in General Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design

Compilers & Interpreters Systems Analysis & Design Artificial Intelligence

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

Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

New Beginnings

why change is so difficult and how to achieve it

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

The Tech Coup

How to Save Democracy from Silicon Valley

AI for Business

A Guide to AI Adoption

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

The Next Renaissance

AI and the Expansion of Human Potential

Practical Bioinformatics

The AI Glossary

AI and Emerging Tech Explained - 256 Key Concepts for Students, Professionals & Curious Minds

Take the POWER back!

A journey to Electrical Autonomy

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Research Methods in Information Technology and Information Systems

Research Methods in Information Technology and Information Systems

Dialogues on Minds, Machines, and AI

Philosophical Dialogues on Contemporary Problems

This product is categorised by