Skip to main content
SpringerLink
Log in
Book cover

Perspectives of Systems Informatics

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

  • Conference proceedings
  • © 2003
Download book PDF

Overview

Editors:
  1. Manfred Broy

    1. Technische Universität München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexandre V. Zamulin

    1. A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, 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 2890)

Included in the following conference series:

Conference proceedings info: PSI 2003.

Buy print copy

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

Table of contents (55 papers)

  1. Front Matter

    Download chapter PDF

  3. Software Engineering

    1. Bending without Breaking: Making Software More Flexible

      • Kim B. Bruce
      Pages 46-49
      Download chapter PDF

    2. Program Construction in the Context of Evolutionary Computation

      • Jelena Sanko, Jaan Penjam
      Pages 50-57
      Download chapter PDF

    3. A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development

      • Cindy Michiels, Monique Snoeck, Wilfried Lemahieu, Frank Goethals, Guido Dedene
      Pages 58-65
      Download chapter PDF

  5. Program Synthesis, Transformation, and Semantics

    1. Numeric Types in Formal Synthesis

      • Viktor Sabelfeld, Kai Kapp
      Pages 79-90
      Download chapter PDF

    2. On the Possibility of Provably Secure Obfuscating Programs

      • Nikolay P. Varnovsky, Vladimir A. Zakharov
      Pages 91-102
      Download chapter PDF

    3. Verification-Oriented Language C-Light and Its Structural Operational Semantics

      • Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
      Pages 103-111
      Download chapter PDF

    4. Proofs-as-Imperative-Programs: Application to Synthesis of Contracts

      • Iman Poernomo
      Pages 112-119
      Download chapter PDF

  6. Graphical Interfaces

    1. On the Visualization and Aesthetics of Large Graphs

      • David Harel
      Pages 120-120
      Download chapter PDF

    2. Data Mappings in the Model-View-Controller Pattern

      • Martin Rammerstorfer, Hanspeter Mössenböck
      Pages 121-132
      Download chapter PDF

  7. Partial Evaluation and Supercompilation

    1. The Translation Power of the Futamura Projections

      • Robert Glück
      Pages 133-147
      Download chapter PDF

    2. A Compiler Generator for Constraint Logic Programs

      • Stephen-John Craig, Michael Leuschel
      Pages 148-161
      Download chapter PDF

    3. The Supercompiler SCP4: General Structure

      • Andrei P. Nemytykh
      Pages 162-170
      Download chapter PDF

    4. Partial Evaluation for Common Intermediate Language

      • Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko et al.
      Pages 171-177
      Download chapter PDF
Back to top

Other volumes

  1. Perspectives of System Informatics

Keywords

Editors and Affiliations

  • Technische Universität München, Germany

    Manfred Broy

  • A.P. Ershov Institute of Informatics Systems, Siberian Branch of Russian Academy of Sciences, Novosibirsk, Russia

    Alexandre V. Zamulin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation