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

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.

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 (55 papers)

  1. Front Matter

    Download chapter PDF

  2. Programming Issues

    1. The Verifying Compiler: A Grand Challenge for Computing Research

      • Tony Hoare
      Pages 1-12

    2. Linear Types for Cashflow Reengineering

      • Torben Æ Mogensen
      Pages 13-21

    3. Storing Properties in Grouped Tagged Tuples

      • Roland Weiss, Volker Simonis
      Pages 22-29

    4. A Polymorphic Radix-n Framework for Fast Fourier Transforms

      • Marcin Zalewski, Sibylle Schupp
      Pages 30-36

    5. Intersecting Classes and Prototypes

      • Wolfgang De Meuter, Theo D’Hondt, Jessie Dedecker
      Pages 37-45

  3. Software Engineering

    1. Bending without Breaking: Making Software More Flexible

      • Kim B. Bruce
      Pages 46-49

    2. Program Construction in the Context of Evolutionary Computation

      • Jelena Sanko, Jaan Penjam
      Pages 50-57

    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

  4. Software Education

    1. The Outside-In Method of Teaching Introductory Programming

      • Bertrand Meyer
      Pages 66-78

  5. Program Synthesis, Transformation, and Semantics

    1. Numeric Types in Formal Synthesis

      • Viktor Sabelfeld, Kai Kapp
      Pages 79-90

    2. On the Possibility of Provably Secure Obfuscating Programs

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

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

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

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

      • Iman Poernomo
      Pages 112-119

  6. Graphical Interfaces

    1. On the Visualization and Aesthetics of Large Graphs

      • David Harel
      Pages 120-120

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

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

  7. Partial Evaluation and Supercompilation

    1. The Translation Power of the Futamura Projections

      • Robert Glück
      Pages 133-147

    2. A Compiler Generator for Constraint Logic Programs

      • Stephen-John Craig, Michael Leuschel
      Pages 148-161

    3. The Supercompiler SCP4: General Structure

      • Andrei P. Nemytykh
      Pages 162-170

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