5. Ershov Memorial Conference 2003: Novosibirsk, Russia

Programming Issues

• C. A. R. Hoare:
  The Verifying Compiler: A Grand Challenge for Computing Research. 1-12
  
• Torben Æ. Mogensen:
  Linear Types for Cashflow Reengineering. 13-21
  
• Roland Weiss, Volker Simonis:
  Storing Properties in Grouped Tagged Tuples. 22-29
  
• Marcin Zalewski, Sibylle Schupp:
  A Polymorphic Radix- n Framework for Fast Fourier Transforms. 30-37
  
• Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker:
  Intersecting Classes and Prototypes. 37-45
  

Software Engineering

• Kim B. Bruce:
  Bending without Breaking: Making Software More Flexible: Extended Abstract. 46-49
  
• Jelena Sanko, Jaan Penjam:
  Program Construction in the Context of Evolutionary Computation. 50-57
  
• Cindy Michiels, Monique Snoeck, Wilfried Lemahieu, Frank G. Goethals, Guido Dedene:
  A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development. 58-65
  

Software Education

• Bertrand Meyer:
  The Outside-In Method of Teaching Introductory Programming. 66-78
  

Program Synthesis, Transformation, and Semantics

• Viktor K. Sabelfeld, Kai Kapp:
  Numeric Types in Formal Synthesis. 79-90
  
• Nikolay P. Varnovsky, Vladimir A. Zakharov:
  On the Possibility of Provably Secure Obfuscating Programs. 91-102
  
• V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
  Verification-Oriented Language C-Light and Its Structural Operational Semantics. 103-111
  
• Iman Poernomo:
  Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. 112-119
  

Graphical Interfaces

• David Harel:
  On the Visualization and Aesthetics of Large Graphs: Short Abstract. 120
  
• Martin Rammerstorfer, Hanspeter Mössenböck:
  Data Mappings in the Model-View-Controller Pattern. 121-132
  

Partial Evaluation and Supercompilation

• Robert Glück:
  The Translation Power of the Futamura Projections. 133-147
  
• Stephen-John Craig, Michael Leuschel:
  A Compiler Generator for Constraint Logic Programs. 148-161
  
• Andrei P. Nemytykh:
  The Supercompiler SCP4: General Structure. 162-170
  
• Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov:
  Partial Evaluation for Common Intermediate Language. 171-177
  

Verification

• Stefan Blom, Natalia Ioustinova, Natalia Sidorova:
  Timed Verification with µCRL. 178-192
  
• Simona Orzan, Jaco van de Pol:
  Verification of Distributed Dataspace Architectures. 192-206
  
• Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig:
  Using SPIN and STeP to Verify Business Processes Specifications. 207-213
  
• Engelbert Hubbers:
  Integrating Tools for Automatic Program Verification. 214-221
  

Logic and Types

• Tatiana Rybina, Andrei Voronkov:
  A Logical Reconstruction of Reachability. 222-237
  
• Margarita V. Korovina:
  Recent Advances in S-Definability over Continuous Data Types. 238-247
  

Concurrent and Distributed Systems

• Irina Virbitskaite, Natalya S. Gribovskaja:
  Open Maps and Trace Semantics for Timed Partial Order Models. 248-259
  
• Andrei Sabelfeld:
  Confidentiality for Multithreaded Programs via Bisimulation. 260-274
  
• Berndt Farwer, Kundan Misra:
  Dynamic Modification of System Structures Using LLPNs. 274-293
  

Concurrent and Reacitive Systems

• Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
  Principles for Entity Authentication. 294-306
  
• Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
  Causality and Replication in Concurrent Processes. 307-318
  
• Valeriy Vyatkin:
  Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. 319-328
  
• Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana:
  Teams of Pushdown Automata. 329-337
  

Program Specification

• Jan Jürjens:
  Algebraic State Machines: Concepts and Applications to Security. 338-343
  
• Leonid Kof, Bernhard Schätz:
  Combining Aspects of Reactive Systems. 344-349
  
• Paul Ziemann, Martin Gogolla:
  OCL Extended with Temporal Logic. 351-357
  
• Thomas Baar:
  The Definition of Transitive Closure with OCL - Limitations and Applications. 358-365
  

Verification and Model Checking

• Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
  Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. 366-380
  
• Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov:
  Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. 381-394
  
• Nikolay V. Shilov, Natalya Olegovna Garanina:
  Polynomial Approximations for Model Checking. 395-400
  

Constraint Programming

• Brice Pajot, Eric Monfroy:
  Separating Search and Strategy in Solver Cooperations. 401-414
  
• Vladimir Sidorov, Vitaly Telerman:
  Industrial Application of External Black-Box Functions in Constraint Programming Solver. 415-422
  
• Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov:
  LGS: Geometric Constraint Solver. 423-430
  
• Yuri G. Dolgov:
  On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. 431-437
  

Documentation and Testing

• Volker Simonis, Roland Weiss:
  ProgDOC - A New Program Documentation System. 438-449
  
• Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov:
  Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. 450-461
  
• Dirk Seifert, Steffen Helke, Thomas Santen:
  Test Case Generation for UML Statecharts. 462-468
  

Databases

• Joachim W. Schmidt, Hans-Werner Sehring:
  Conceptual Content Modeling and Management. 469-493
  
• Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
  A Relational Algebra for Functional Logic Deductive Databases. 494-508
  
• José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places:
  Implication of Functional Dependencies for Recursive Queries. 509-519
  
• Kjetil Nørvåg, Marit Limstrand, Lene Myklebust:
  TeXOR: Temporal XML Database on an Object-Relational Database System. 520-530
  
• Jixue Liu, Millist W. Vincent, Chengfei Liu:
  Functional Dependencies, from Relational to XML. 531-538
  
• Joaquín Pérez, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís, Guillermo Rodríguez, Laura Cruz, Maricela Bravo:
  Data-Object Replication, Distribution, and Mobility in Network Environments. 539-545
  

Natural Language Processing

• Cornelis H. A. Koster, Marc Seutter, Jean Beney:
  Multi-classification of Patent Applications with Winnow. 546-555
  
• Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Liliana Chanona-Hernández:
  Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses. 556-562
  
• Anna V. Zhdanova, Pavel V. Mankevich:
  An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. 563-569