Perspectives of System Informatics

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

  • Dines Bjørner
  • Manfred Broy
  • Alexandre V. Zamulin

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2244)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Memorial Session

  3. Computing and Algorithms

    1. Svyatoslav S. Lavrov
      Pages 25-32
  4. Logical Methods

  5. Verification

    1. Natalia Ioustinova, Natalia Sidorova
      Pages 64-78
    2. Supratik Mukhopadhyay, Andreas Podelski
      Pages 79-94
    3. Alexandre Riazanov, Andrei Voronkov
      Pages 95-108
  6. Program Transformation and Synthesis

    1. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
      Pages 131-139
    2. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
      Pages 140-148
    3. Viktor Sabelfeld, Christian Blumenröhr, Kai Kapp
      Pages 149-156
    4. Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
      Pages 157-164
  7. Semantics & Types

    1. Rogardt Heldal, John Hughes
      Pages 191-204

About these proceedings

Introduction

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.

Keywords

Algorithms Constraint Unified Modeling Language (UML) algorithm logic petri net programming semantics verification

Editors and affiliations

  • Dines Bjørner
    • 1
  • Manfred Broy
    • 2
  • Alexandre V. Zamulin
    • 3
  1. 1.Informatics and Mathematical ModellingTechnical University of DenmarkLyngbyDenmark
  2. 2.Computer Science DepartmentTechnical University of MunichMunichGermany
  3. 3.A.P.Ershov Institute of Informatics SystemsNovosibirskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45575-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43075-9
  • Online ISBN 978-3-540-45575-2
  • Series Print ISSN 0302-9743
  • About this book