SpringerLink
Log in

Perspectives of System Informatics

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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Dines Bjøner

    1. Department of Information Technology, Technical University of Denmark, Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manfred Broy

    1. Computer Science Department, Technical University of Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexandre V. Zamulin

    1. A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    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 1755)

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

Access this book

Log in via an institution
eBook GBP 71.50
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 89.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (48 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Algebraic Specifications

    1. The Common Framework Initiative for Algebraic Specification and Development of Software

      • Donald Sannella
      Pages 1-9

    2. A Logical Approach to Specification of Hybrid Systems

      • Margarita V. Korovina, Oleg V. Kudinov
      Pages 10-16

  3. Specifications with States

    1. Algebraic Imperative Specifications

      • Marie-Claude Gaudel, Alexandre Zamulin
      Pages 17-39

    2. Enhanced Control Flow Graphs in Montages

      • Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio
      Pages 40-53

    3. Abstract State Machines for the Composition of Architectural Styles

      • Asuman Sünbül
      Pages 54-61

  4. Partial Evaluation and Supercompilation

    1. The Essence of Program Transformation by Partial Evaluation and Driving

      • Neil D. Jones
      Pages 62-79

    2. Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All

      • Niels H. Christensen, Robert Glück, Søren Laursen
      Pages 80-92

    3. Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification

      • Robert Glück, Michael Leuschel
      Pages 93-100

    4. Sonic Partial Deduction

      • Jonathan Martin, Michael Leuschel
      Pages 101-112

    5. On Perfect Supercompilation

      • Jens Peter Secher, Morten Heine Sørensen
      Pages 113-127

    6. Linear Time Self-Interpretation of the Pure Lambda Calculus

      • Torben Æ. Mogensen
      Pages 128-142

    7. An Optimal Algorithm for Purging Regular Schemes

      • Denis L. Uvarov
      Pages 143-148

    8. Polymorphism in OBJ-P

      • Martin Plümicke
      Pages 149-154

  5. Concurrency and Parallelism

    1. Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem

      • Paul Gibson, Dominique Méry
      Pages 155-179

    2. Serializability Preserving Extensions of Concurrency Control Protocols

      • Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
      Pages 180-193

    3. Platform Independent Approach for Detecting Shared Memory Parallelism

      • Yury V. Chelomin
      Pages 194-197

    4. Hierarchical Cause-Effect Structures

      • A. P. Ustimenko
      Pages 198-207

    5. Some Decidability Results for Nested Petri Nets

      • Irina A. Lomazova, Philippe Schnoebelen
      Pages 208-220

    6. Abstract Structures for Communication between Processes

      • Gabriel Ciobanu, Emanuel Florentin Olariu
      Pages 221-227
Back to top

Editors and Affiliations

  • Department of Information Technology, Technical University of Denmark, Lyngby, Denmark

    Dines Bjøner

  • Computer Science Department, Technical University of Munich, Munich, Germany

    Manfred Broy

  • A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    Alexandre V. Zamulin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation