Skip to main content
SpringerLink
Log in

Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Irina Virbitskaite
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PSI 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Separability in Conflict-Free Petri Nets

      • Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf
      Pages 1-18

    2. Grand Challenges of System Programming

      • Victor Ivannikov
      Pages 19-19

    3. Specifying and Verifying Programs in Spec#

      • K. Rustan M. Leino
      Pages 20-20

    4. Basic Protocols: Specification Language for Distributed Systems

      • Alexander Letichevsky
      Pages 21-25

    5. Why Automata Models Are Sexy for Testers? (Invited Talk)

      • Alexandre Petrenko
      Pages 26-26

  3. Regular Papers

    1. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages

      • Sergei Abramov, Robert Glück, Yuri Klimov
      Pages 27-40

    2. Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method

      • Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
      Pages 41-54

    3. A Versioning and Evolution Framework for RDF Knowledge Bases

      • Sören Auer, Heinrich Herre
      Pages 55-69

    4. A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

      • Thomas Baar, Slaviša Marković
      Pages 70-83

    5. On the Usage of Concrete Syntax in Model Transformation Rules

      • Thomas Baar, Jon Whittle
      Pages 84-97

    6. TTCN-3 for Distributed Testing Embedded Software

      • Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch et al.
      Pages 98-111

    7. Chase of Recursive Queries

      • Nieves R. Brisaboa, Antonio Fariña, Miguel R. Luaces, José R. Paramá
      Pages 112-123

    8. Improving Semistatic Compression Via Pair-Based Coding

      • Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá
      Pages 124-134

    9. An Agent-Based Architecture for Dialogue Systems

      • Mark Buckley, Christoph Benzmüller
      Pages 135-147

    10. Encoding Mobile Ambients into the π-Calculus

      • Gabriel Ciobanu, Vladimir A. Zakharov
      Pages 148-165

    11. Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources

      • Liliana Cojocaru
      Pages 166-179

    12. Deriving State-Based Implementations of Interactive Components with History Abstractions

      • Walter Dosch, Annette Stümpel
      Pages 180-194

    13. Introducing Debugging Capabilities to Natural Semantics

      • Alberto de la Encina, Luis Llana, Fernando Rubio
      Pages 195-208

    14. Solution Strategies for Multi-domain Constraint Logic Programs

      • Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
      Pages 209-222
Back to top

Other volumes

  1. Perspectives of Systems Informatics

Keywords

About this book

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the mul- language system BETA, and authored some of the most remarkable results in the theoryofprogramming. Andreiisjustly consideredoneofthefoundersofthe theory of mixed computation. In 1974 he was nominated as Distinguished F- low of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notablewerehis lectures “Aesthetic and HumanFactorinProgramming”and“Programming—TheSecondLiteracy. ”He was not only an extremely gifted scientist, teacher and ?ghter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation