default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th Ershov Memorial Conference 2001: Novosibirsk, Russia
- Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244, Springer 2001, ISBN 3-540-43075-X
Memorial Session
- Igor V. Pottosin:
A.P. Ershov - A Pioneer and a Leader of National Programming. 1-7 - Rimma I. Podlovchenko:
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. 8-23
Computing and Algorithms
- Yuri Gurevich:
The Abstract State Machine Paradigm: What Is in and What Is out. 24 - Svyatoslav Sergeevich Lavrov:
On Algorithmic Unsolvability. 25-32
Logical Methods
- Jan Friso Groote
, Hans Zantema:
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. 33-38 - Nikolay V. Shilov, Kwang Yi:
On Expressive and Model Checking Power of Propositional Program Logics. 39-46 - Thomas Baar, Bernhard Beckert, Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. 47-54 - Valeriy Vyatkin:
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. 55-63
Verification
- Natalia Ioustinova, Natalia Sidorova:
A Transformation of SDL Specifications - A Step towards the Verification. 64-78 - Supratik Mukhopadhyay, Andreas Podelski:
Accurate Widenings and Boundedness Properties of Timed Systems. 79-94 - Alexandre Riazanov, Andrei Voronkov:
Adaptive Saturation-Based Reasoning. 95-108 - Robert Eschbach:
A Verification Approach for Distributed Abstract State Machines. 109-115
Program Transformation and Synthesis
- Thorsten Ehm:
Transformational Construction of Correct Pointer Algorithms. 116-130 - Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. 131-139 - Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures. 140-148 - Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp:
Semantics and Transformations in Formal Synthesis at System Level. 149-156 - Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu:
Automated Program Synthesis for Java Programming Language. 157-164
Semantics & Types
- Peter D. Mosses:
The Varieties of Programming Language Semantics. 165-190 - Rogardt Heldal, John Hughes:
Binding-Time Analysis for Polymorphic Types. 191-204 - Torben Æ. Mogensen:
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. 205-213
Processes and Concurrency
- Irina B. Virbitskaite:
Observational Semantics for Timed Event Structures. 214-224 - Andrei Sabelfeld:
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. 225-239 - Valery A. Sokolov, Eugeny A. Timofeev:
Dynamical Priorities without Time Measurement and Modification of the TCP. 240-245
UML Specification
- Egidio Astesiano, Maura Cerioli, Gianna Reggio:
From ADT to UML-Like Modelling. 246 - Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel:
Transformation of UML Specification to XTG. 247-254
Petri Nets
- Berndt Farwer, Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms. 255-267 - Vitaly E. Kozura:
Unfoldings of Coloured Petri Nets. 268-278 - Shengyuan Wang, Jian Yu, Chongyi Yuan:
A Net-Based Multi-tier Behavior Inheritance Modelling Method. 279-286
Testing
- Alexandre Petrenko:
Specification Based Testing: Towards Practice. 287-300 - Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov:
Java Specification Extension for Automated Test Development. 301-307 - Jan Jürjens, Guido Wimmel:
Specification-Based Testing of Firewalls. 308-316
Software Construction
- Andrey N. Terekhov, Len Erlikh:
Academic vs. Industrial Software Engineering: Closing the Gap. 317-323 - Dmitrij V. Koznov, Konstantin Yu. Romanovsky, Alexei Nikitin:
A Method for Recovery and Maintenance of Software Architecture. 324-327 - Dmitri Boulytchev, Dmitry Lomov:
An Empirical Study of Retargetable Compilers. 328-335
Data & Knowledge Bases
- S. Kazem Lellahi:
Conceptual Data Modeling: An Algebraic Viewpoint. 336-348 - Sergio Greco, Luigi Pontieri, Ester Zumpano:
Integrating and Managing Conflicting Data. 349-362 - Gian Piero Zarri:
A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents. 363-377 - Vladimir Yu. Sazonov:
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach. 378-394
Logic Programming
- Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 395-405 - Maurice Bruynooghe, Wim Vanhoof, Michael Codish:
Pos(T): Analyzing Dependencies in Typed Logic Programs. 406-420 - Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee:
A Prolog Tailoring Technique on an Epilog Tailored Procedure. 421-433
Constraint Programming
- Dmitry Ushakov:
Hierarchical Constraint Satisfaction Based on Subdefinite Models. 434-445 - Vitaly Telerman:
Using Constraint Solvers in CAD/CAM Systems. 446-456 - Laurent Granvilliers, Éric Monfroy:
A Graphical Interface for Solver Cooperations. 457-467
Program Analysis
- Nikolaj S. Nikitchenko:
Abstract Computability of Non-deterministic Programs over Various Data Structures. 468-481 - Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen:
On Lexicographic Termination Ordering with Space Bound Certifications. 482-493 - Margarita V. Korovina, Oleg V. Kudinov:
Generalised Computability and Applications to Hybrid Systems. 494-499
Language Implementation
- Roland Weiss, Volker Simonis:
Exploring Template Template Parameters. 500-510 - Vitaly V. Mikheev, Stanislav A. Fedoseev:
Compiler-Cooperative Memory Management in Java. 511-518 - Dietrich Birngruber:
A Software Composition Language and Its Implementation. 519-529 - Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, Janis Barzdins:
Editor Definition Language and Its Implementation. 530-537 - Alexey S. Rodionov, Dmitry V. Leskov:
Oberon-2 as Successor of Modula-2 in Simulation. 538-546
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 2026-09-02 23:13 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
