Advertisement

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
  6. Logic and Processes

    1. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
      Pages 228-234
    2. Man Lin, Jacek Malec, Simin Nadjm-Tehrani
      Pages 235-246
    3. Mads Dam, Dilian Gurov
      Pages 247-256
    4. Elena Trichina
      Pages 257-264
  7. Languages and Software

    1. Victor Basili, Forrest Shull, Filippo Lanubile
      Pages 265-282
    2. Gregory Kucherov, Michaël Rusinowitch
      Pages 283-296
    3. Rafael Caballero, Francisco J. López-Fraguas
      Pages 297-310
  8. Database Programming

    1. Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle, Alex Farkas, Graham N. C. Kirby et al.
      Pages 316-340
    2. Sima Asgari, Naoki Yonezaki
      Pages 352-357
  9. Object-Oriented Programming

    1. Kazem Lellahi, Rachid Souah
      Pages 370-382
    2. Volker Simonis, Roland Weiss
      Pages 383-388
    3. Vladimir I. Shelekhov, Sergey V. Kuksenko
      Pages 389-395
  10. Constraint Programming

    1. Carlos Castro, Eric Monfroy
      Pages 402-415
    2. Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie
      Pages 416-423
    3. Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov
      Pages 424-433
    4. Tatyana Yakhno, Evgueni Petrov
      Pages 434-444
  11. Model & Program Checking

    1. Klaus Schneider, Viktor Sabelfeld
      Pages 445-459
    2. Richard J. Anderson, Paul Beame, William Chan, David Notkin
      Pages 460-469
    3. Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
      Pages 481-492
  12. Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles

    1. Fedor A. Kolushev, Alexander A. Bogdanov
      Pages 503-510
  13. Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique

    1. Irina S. Kononenko, Ivan G. Popov, Yury A. Zagorulko
      Pages 511-516
  14. Natural Communication with Robots

    1. George B., Farida G., David Ya., Ivan G., Yury A.
      Pages 517-529
  15. Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages

  16. Back Matter
    Pages 481-481

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering