| Algebraic Specifications |
| The Common Framework Initiative for Algebraic Specification and Development of Software (Invited Talk) / D. Sannella |
| A Logical Approach to Specification of Hybrid Systems / M. V. Korovina ; O.V.Kudinov |
| Specifications with States |
| Algebraic Imperative Specifications (Invited Talk) / M.-C. Gaudel ; A. Zamulin |
| Enhanced Control Flow Graphs in Montages / M. Anlauff ; Ph. W. Kutter ; A. Pierantonio |
| Abstract State Machines for the Composition of Architectural Styles / A. Sünbül |
| Partial Evaluation and Supercompilation |
| The Essence of Program Transformation by Partial Evaluation and Driving (Invited Talk) / N. D. Jones |
| Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All / N. H. Christensen ; R. Glück ; S. Laursen |
| Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification / M. Leuschel |
| Sonic Partial Deduction / J. Martin ; M.Leuschel |
| On Perfect Supercompilation / J. P. Secher ; M. H. Sørensen |
| Linear Time Self-Interpretation of the Pure Lambda Calculus / T. Æ. Mogensen |
| An Optimal Algorithm for Purging Regular Schemes / D. L. Uvarov |
| Polymorphism in OBJ-P / M. Plümicke |
| Concurrency and Parallelism |
| Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem (Invited Talk) / P. Gibson ; D. Méry |
| Serializability Preserving Extensions of Concurrency Control Protocols / D. Chkliaev ; J. Hooman ; P. van der Stok |
| Platform Independent Approach for Detecting Shared Memory Parallelism / Yu. V. Chelomin |
| Hierarchical Cause-Effect Structures / A. P. Ustimenko |
| Some Decidability Results for Nested Petri Nets / I. A. Lomazova ; Ph. Schnoebelen |
| Abstract Structures for Communication between Processes / G. Ciobanu ; E. F. Olariu |
| Logic and Processes |
| Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs / M. I. Dekhtyar ; A. Ja. Dikovsky, ; M. K. Valiev |
| On Semantics and Correctness of Reactive Rule-Based Programs / M. Lin ; J. Malec ; S. Nadjm-Tehrani |
| Compositional Verification of CCS Processes / M. Dam ; D. Gurov |
| Compositional Style of Programming FPGAs / E. Trichina |
| Languages and Software |
| Using Experiments to Build a Body of Knowledge (Invited Talk) / V. Basili ; F.Shull ; F. Lanubile |
| Patterns in Words versus Patterns in Trees: A Brief Survey and New Results / G. Kucherov ; M. Rusinowitch |
| Extensions: A Technique for Structuring Functional-Logic Programs / R. Caballero ; F. J. López-Fraguas |
| Language Tools and Programming Systems in Educational Informatics. / S. S. Kobilov |
| Database Programming |
| Current Directions in Hyper-Programming (Invited Talk) / R. Morrison ; R. C. H. Connor ; Q. I. Cutts ; A. Dearie ; A. Farkas,G. N. C. Kirby ; R. McGettrick ; E. Zirintsis |
| Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data / L. Frank |
| A General Object-Oriented Model for Spatial Data / S. Asgari ; N. Yonezaki |
| Object-Oriented Programming |
| Twin - A Design Pattern for Modeling Multiple Inheritance / H. Mössenböck |
| A Partial Semantics for Object Data Models with Static Binding / K. Lellahi ; R. Souah |
| Heterogeneous, Nested STL Containers in C++ / V. Simonis ; R. Weiss |
| Data Flow Analysis of Java Programs in the Presence of Exceptions / V. I. Shelekhov ; S. V. Kuksenko |
| Late Adaptation of Method Invocation Semantics / M. Hof |
| Constraint Programming |
| A Control Language for Designing Constraint Solvers / C. Castro ; E. Monfroy |
| An Algorithm to Compute Inner Approximations of Relations for Interval Constraints / F. Benhamou ; F. Goualard ; É. Languénou ; M. Christie |
| Constraint Programming Techniques for Solving Problems on Graphs / V. Sidorov ; V. Telerman ; D. Ushakov |
| Extensional Set Library for ECLiPSe / T. Yakhno ; E. Petrov |
| Model & Program Checking |
| Introducing Mutual Exclusion in Esterel / K. Schneider ; V. Sabelfeld |
| Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications / R. J. Anderson ; P. Beame ; W. Chan ; D. Notkin |
| Formal Verification of a Compiler Back-End Generic Checker Program. / A. Dold ; V. Vialard |
| Construction of Verified Compiler Front-Ends with Program-Checking / A. Heberle ; Th. Gaul ; W. Goerigk ; G. Goos ; W. Zimmermann |
| Translating SA/RT Models to Synchronous Reactive Systems:An Approximation to Modular Verification Using the SMV Model Checker / C. de la Riva ; J. Tuya ; J. R. de Diego |
| Artificial Intelligence |
| Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles / F. A. Kolushev ; A. A. Bogdanov |
| Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique / I. S. Kononenko ; I. G. Popov ; Yu. A. Zagorulko |
| Approach to Development of a System for Speech Interaction with an Intelligent Robot / G. B. Cheblakov ; F. G. Dinenberg ; D. Ya. Levin ; I. G. Popov,Yu. A. Zagorulko |
| Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages / S. Herath ; Ch. Saito ; A. Herath |
| Author Index |
| Algebraic Specifications |
| The Common Framework Initiative for Algebraic Specification and Development of Software (Invited Talk) / D. Sannella |
| A Logical Approach to Specification of Hybrid Systems / M. V. Korovina ; O.V.Kudinov |
図書
雑誌
