Table of Contents

• The Verifying Compiler: A Grand Challenge for Computing ResearchC. A. R. Hoare. 1-12 [doi]
• Linear Types for Cashflow ReengineeringTorben Æ. Mogensen. 13-21 [doi]
• Storing Properties in Grouped Tagged TuplesRoland Weiss, Volker Simonis. 22-29 [doi]
• A Polymorphic Radix- n Framework for Fast Fourier TransformsMarcin Zalewski, Sibylle Schupp. 30-37 [doi]
• Intersecting Classes and PrototypesWolfgang De Meuter, Theo D'Hondt, Jessie Dedecker. 37-45 [doi]
• Bending without Breaking: Making Software More Flexible: Extended AbstractKim B. Bruce. 46-49 [doi]
• Program Construction in the Context of Evolutionary ComputationJelena Sanko, Jaan Penjam. 50-57 [doi]
• A Layered Architecture Sustaining Model-Driven and Event-Driven Software DevelopmentCindy Michiels, Monique Snoeck, Wilfried Lemahieu, Frank G. Goethals, Guido Dedene. 58-65 [doi]
• The Outside-In Method of Teaching Introductory ProgrammingBertrand Meyer. 66-78 [doi]
• Numeric Types in Formal SynthesisViktor K. Sabelfeld, Kai Kapp. 79-90 [doi]
• On the Possibility of Provably Secure Obfuscating ProgramsNikolay P. Varnovsky, Vladimir A. Zakharov. 91-102 [doi]
• Verification-Oriented Language C-Light and Its Structural Operational SemanticsV. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky. 103-111 [doi]
• Proofs-as-Imperative-Programs: Application to Synthesis of ContractsIman Poernomo. 112-119 [doi]
• On the Visualization and Aesthetics of Large Graphs: Short AbstractDavid Harel. 120 [doi]
• Data Mappings in the Model-View-Controller PatternMartin Rammerstorfer, Hanspeter Mössenböck. 121-132 [doi]
• The Translation Power of the Futamura ProjectionsRobert Glück. 133-147 [doi]
• A Compiler Generator for Constraint Logic ProgramsStephen-John Craig, Michael Leuschel. 148-161 [doi]
• The Supercompiler SCP4: General StructureAndrei P. Nemytykh. 162-170 [doi]
• Partial Evaluation for Common Intermediate LanguageAndrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov. 171-177 [doi]
• Timed Verification with µCRLStefan Blom, Natalia Ioustinova, Natalia Sidorova. 178-192 [doi]
• Verification of Distributed Dataspace ArchitecturesSimona Orzan, Jaco van de Pol. 192-206 [doi]
• Using SPIN and STeP to Verify Business Processes SpecificationsJuan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig. 207-213 [doi]
• Integrating Tools for Automatic Program VerificationEngelbert Hubbers. 214-221 [doi]
• A Logical Reconstruction of ReachabilityTatiana Rybina, Andrei Voronkov. 222-237 [doi]
• Recent Advances in S-Definability over Continuous Data TypesMargarita V. Korovina. 238-247 [doi]
• Open Maps and Trace Semantics for Timed Partial Order ModelsIrina Virbitskaite, Natalya S. Gribovskaja. 248-259 [doi]
• Confidentiality for Multithreaded Programs via BisimulationAndrei Sabelfeld. 260-274 [doi]
• Dynamic Modification of System Structures Using LLPNsBerndt Farwer, Kundan Misra. 274-293 [doi]
• Principles for Entity AuthenticationMichele Bugliesi, Riccardo Focardi, Matteo Maffei. 294-306 [doi]
• Causality and Replication in Concurrent ProcessesPierpaolo Degano, Fabio Gadducci, Corrado Priami. 307-318 [doi]
• Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive SystemsValeriy Vyatkin. 319-328 [doi]
• Teams of Pushdown AutomataMaurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana. 329-337 [doi]
• Algebraic State Machines: Concepts and Applications to SecurityJan Jürjens. 338-343 [doi]
• Combining Aspects of Reactive SystemsLeonid Kof, Bernhard Schätz. 344-349 [doi]
• OCL Extended with Temporal LogicPaul Ziemann, Martin Gogolla. 351-357 [doi]
• The Definition of Transitive Closure with OCL - Limitations and ApplicationsThomas Baar. 358-365 [doi]
• Improving the Consistency Checking Process by Reusing Formal Verification KnowledgeRebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla. 366-380 [doi]
• Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean FrameworkHenrik Björklund, Sven Sandberg, Sergei G. Vorobyov. 381-394 [doi]
• Polynomial Approximations for Model CheckingNikolay V. Shilov, Natalya Olegovna Garanina. 395-400 [doi]
• Separating Search and Strategy in Solver CooperationsBrice Pajot, Eric Monfroy. 401-414 [doi]
• Industrial Application of External Black-Box Functions in Constraint Programming SolverVladimir Sidorov, Vitaly Telerman. 415-422 [doi]
• LGS: Geometric Constraint SolverAlexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov. 423-430 [doi]
• On Strategies of the Narrowing Operator Selection in the Constraint Propagation MethodYuri G. Dolgov. 431-437 [doi]
• ProgDOC - A New Program Documentation SystemVolker Simonis, Roland Weiss. 438-449 [doi]
• Integration of Functional and Timed Testing of Real-Time and Concurrent SystemsVictor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov. 450-461 [doi]
• Test Case Generation for UML StatechartsDirk Seifert, Steffen Helke, Thomas Santen. 462-468 [doi]
• Conceptual Content Modeling and ManagementJoachim W. Schmidt, Hans-Werner Sehring. 469-493 [doi]
• A Relational Algebra for Functional Logic Deductive DatabasesJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón. 494-508 [doi]
• Implication of Functional Dependencies for Recursive QueriesJosé R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places. 509-519 [doi]
• TeXOR: Temporal XML Database on an Object-Relational Database SystemKjetil Nørvåg, Marit Limstrand, Lene Myklebust. 520-530 [doi]
• Functional Dependencies, from Relational to XMLJixue Liu, Millist W. Vincent, Chengfei Liu. 531-538 [doi]
• Data-Object Replication, Distribution, and Mobility in Network EnvironmentsJoaquín Pérez, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís, Guillermo Rodríguez, Laura Cruz, Maricela Bravo. 539-545 [doi]
• Multi-classification of Patent Applications with WinnowCornelis H. A. Koster, Marc Seutter, Jean Beney. 546-555 [doi]
• Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word SensesAlexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Liliana Chanona-Hernández. 556-562 [doi]
• An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering SystemsAnna V. Zhdanova, Pavel V. Mankevich. 563-569 [doi]