default search action
5th Ershov Memorial Conference 2003: Novosibirsk, Russia
- Manfred Broy, Alexandre V. Zamulin:
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science 2890, Springer 2003, ISBN 3-540-20813-5
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 - Valery A. Nepomniaschy, Igor S. Anureev
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
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 B. 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é Juan 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, Éric 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, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. 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
A Relational Algebra for Functional Logic Deductive Databases. 494-508 - José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra 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 Ortega, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís
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
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses. 556-562 - Anna V. Zhdanova
An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. 563-569
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 23:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: