Skip to main content
  • Conference proceedings
  • © 2003

Perspectives of Systems Informatics

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

Conference proceedings info: PSI 2003.

Buy it now

Buying options

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

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

Table of contents (55 papers)

  1. Front Matter

  2. Programming Issues

    1. Linear Types for Cashflow Reengineering

      • Torben Æ Mogensen
      Pages 13-21
    2. Storing Properties in Grouped Tagged Tuples

      • Roland Weiss, Volker Simonis
      Pages 22-29
    3. A Polymorphic Radix-n Framework for Fast Fourier Transforms

      • Marcin Zalewski, Sibylle Schupp
      Pages 30-36
    4. Intersecting Classes and Prototypes

      • Wolfgang De Meuter, Theo D’Hondt, Jessie Dedecker
      Pages 37-45
  3. Software Engineering

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

  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
  6. Graphical Interfaces

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

      • Martin Rammerstorfer, Hanspeter Mössenböck
      Pages 121-132
  7. Partial Evaluation and Supercompilation

    1. A Compiler Generator for Constraint Logic Programs

      • Stephen-John Craig, Michael Leuschel
      Pages 148-161
    2. The Supercompiler SCP4: General Structure

      • Andrei P. Nemytykh
      Pages 162-170
    3. 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

Other Volumes

  1. Perspectives of System Informatics

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

Buy it now

Buying options

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