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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Keywords

  • Processing
  • database
  • distributed systems
  • logic
  • model checking
  • programming
  • verification

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions