default search action
3rd Ershov Memorial Conference 1999: Novosibirsk, Russia
- Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Lecture Notes in Computer Science 1755, Springer 2000, ISBN 3-540-67102-1
Algebraic Specifications
- Donald Sannella
:
The Common Framework Initiative for Algebraic Specification and Development of Software. 1-9 - Margarita V. Korovina, Oleg V. Kudinov:
A Logical Approach to Specification of Hybrid Systems. 10-16
Specifications with States
- Marie-Claude Gaudel, Alexandre V. Zamulin:
Algebraic Imperative Specifications. 17-39 - Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio:
Enhanced Control Flow Graphs in Montages. 40-53 - Asuman Sünbül:
Abstract State Machines for the Composition of Architectural Styles. 54-61
Partial Evaluation and Supercompilation
- Neil D. Jones:
The Essence of Program Transformation by Partial Evaluation and Driving. 62-79 - Niels H. Christensen, Robert Glück, Søren Laursen:
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. 80-92 - Robert Glück, Michael Leuschel:
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. 93-100 - Jonathan C. Martin, Michael Leuschel:
Sonic Partial Deduction. 101-112 - Jens P. Secher, Morten Heine Sørensen:
On Perfect Supercompilation. 113-127 - Torben Æ. Mogensen:
Linear Time Self-Interpretation of the Pure Lambda Calculus. 128-142 - Denis L. Uvarov:
An Optimal Algorithm for Purging Regular Schemes. 143-148
Concurrency and Parallelism
- Martin Plümicke:
Polymorphism in OBJ-P. 149-154 - J. Paul Gibson
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. 155-179 - Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols. 180-193 - Yury V. Chelomin:
Platform Independent Approach for Detecting Shared Memory Parallelism. 194-197 - A. P. Ustimenko:
Hierarchical Cause-Effect Structures. 198-207 - Irina A. Lomazova, Philippe Schnoebelen:
Some Decidability Results for Nested Petri Nets. 208-220 - Gabriel Ciobanu
Abstract Structures for Communication between Processes. 221-227
Logic and Processes
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. 228-234 - Man Lin, Jacek Malec, Simin Nadjm-Tehrani:
On Semantics and Correctness of Reactive Rule-Based Programs. 235-246 - Mads Dam, Dilian Gurov
Compositional Verification of CCS Processes. 247-256 - Elena Trichina:
Compositional Style of Programming FPGAs. 257-264
Languages and Software
- Victor R. Basili, Forrest Shull, Filippo Lanubile:
Using Experiments to Build a Body of Knowledge. 265-282 - Gregory Kucherov, Michaël Rusinowitch:
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. 283-296 - Rafael Caballero
Extensions: A Technique for Structuring Functional-Logic Programs. 297-310 - S. S. Kobilov:
Language Tools and Programming Systems in Educational Informatics. 311-315
Database Programming
- Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle
Current Directions in Hyper-Programming. 316-340 - Lars Frank:
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. 341-351 - Sima Asgari, Naoki Yonezaki:
A General Object-Oriented Model for Spatial Data. 352-357
Object-Oriented Programming
- Hanspeter Mössenböck:
Twin - A Design Pattern for Modeling Multiple Inheritance. 358-369 - S. Kazem Lellahi, Rachid Souah:
A Partial Semantics for Object Data Models with Static Binding. 370-382 - Volker Simonis, Roland Weiss:
Heterogeneous, Nested STL Containers in C++. 383-388 - Vladimir I. Shelekhov, Sergey V. Kuksenko:
Data Flow Analysis of Java Programs in the Presence of Exceptions. 389-395 - Markus Hof:
Late Adaptation of Method Invocation Semantics. 396-401
Constraint Programming
- Carlos Castro, Éric Monfroy:
A Control Language for Designing Constraint Solvers. 402-415 - Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie:
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. 416-423 - Vladimir Sidorov, Vitaly Telerman, Dmitry Ushakov:
Constraint Programming Techniques for Solving Problems on Graphs. 424-433 - Tatyana M. Yakhno, Evgueni S. Petrov:
Extensional Set Library for ECLiPSe. 434-444
Model & Program Checking
- Klaus Schneider
Introducing Mutual Exclusion in Esterel. 445-459 - Richard J. Anderson, Paul Beame, William Chan, David Notkin:
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. 460-469 - Axel Dold, Vincent Vialard:
Formal Verification of a Compiler Back-End Generic Checker Program. 470-480 - Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking. 481-492 - Claudio de la Riva, Javier Tuya, José Ramón de Diego:
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. 493-502
Artificial Intelligence
- Fedor A. Kolushev, Alexander A. Bogdanov:
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles. 503-510 - Irina Kononenko
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique. 511-516 - George B. Cheblakov, Farida G. Dinenberg, David Ya. Levin, Ivan G. Popov, Yury A. Zagorulko:
Approach to Development of a System for Speech Interaction with an Intelligent Robot. 517-529 - Susantha Herath, Chie Saito, Ajantha Herath:
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages. 530-
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 2024-12-23 19:17 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: