Lecture Notes in Computer Science

Perspectives of System Informatics

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

Editors: Bjorner, Dines, Broy, Manfred, Zamulin, Alexandre (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45575-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-43075-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (7 chapters)

  • The Abstract State Machine Paradigm: What Is in and What Is out

    Yuri Gurevich

    Pages 24-24

  • Transformational Construction of Correct Pointer Algorithms

    Thorsten Ehm

    Pages 116-130

  • The Impact of Synchronisation on Secure Information Flow in Concurrent Programs

    Andrei Sabelfeld

    Pages 225-239

  • From ADT to UML-Like Modelling

    Egidio Astesiano, Maura Cerioli, Gianna Reggio

    Pages 246-246

  • Java Specification Extension for Automated Test Development

    Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov

    Pages 301-307

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45575-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-43075-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Perspectives of System Informatics
Book Subtitle
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Editors
  • Dines Bjorner
  • Manfred Broy
  • Alexandre Zamulin
Series Title
Lecture Notes in Computer Science
Series Volume
2244
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45575-2
DOI
10.1007/3-540-45575-2
Softcover ISBN
978-3-540-43075-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 550
Topics