Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

  • Dines Bjøner
  • Manfred Broy
  • Alexandre V. Zamulin
Conference proceedings PSI 1999

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Algebraic Specifications

  3. Specifications with States

    1. Marie-Claude Gaudel, Alexandre Zamulin
      Pages 17-39
    2. Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
      Pages 40-53
  4. Partial Evaluation and Supercompilation

    1. Niels H. Christensen, Robert Glück, Søren Laursen
      Pages 80-92
    2. Jonathan Martin, Michael Leuschel
      Pages 101-112
    3. Jens Peter Secher, Morten Heine Sørensen
      Pages 113-127
    4. Denis L. Uvarov
      Pages 143-148
    5. Martin Plümicke
      Pages 149-154
  5. Concurrency and Parallelism

    1. Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
      Pages 180-193
    2. A. P. Ustimenko
      Pages 198-207
    3. Irina A. Lomazova, Philippe Schnoebelen
      Pages 208-220
    4. Gabriel Ciobanu, Emanuel Florentin Olariu
      Pages 221-227

About these proceedings

Keywords

Constraint artificial intelligence intelligence logic model checking object-oriented programming programming

Editors and affiliations

  • Dines Bjøner
    • 1
  • Manfred Broy
    • 2
  • Alexandre V. Zamulin
    • 3
  1. 1.Department of Information TechnologyTechnical 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-46562-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67102-2
  • Online ISBN 978-3-540-46562-1
  • Series Print ISSN 0302-9743
  • About this book