Abstract is missing.
- The Common Framework Initiative for Algebraic Specification and Development of SoftwareDonald Sannella. 1-9 [doi]
- A Logical Approach to Specification of Hybrid SystemsMargarita V. Korovina, Oleg V. Kudinov. 10-16 [doi]
- Algebraic Imperative SpecificationsMarie-Claude Gaudel, Alexandre V. Zamulin. 17-39 [doi]
- Enhanced Control Flow Graphs in MontagesMatthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio. 40-53 [doi]
- Abstract State Machines for the Composition of Architectural StylesAsuman Sünbül. 54-61 [doi]
- The Essence of Program Transformation by Partial Evaluation and DrivingNeil D. Jones. 62-79 [doi]
- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit AllNiels H. Christensen, Robert Glück, Søren Laursen. 80-92 [doi]
- Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software VerificationRobert Glück, Michael Leuschel. 93-100 [doi]
- Sonic Partial DeductionJonathan C. Martin, Michael Leuschel. 101-112 [doi]
- On Perfect SupercompilationJens P. Secher, Morten Heine Sørensen. 113-127 [doi]
- Linear Time Self-Interpretation of the Pure Lambda CalculusTorben Æ. Mogensen. 128-142 [doi]
- An Optimal Algorithm for Purging Regular SchemesDenis L. Uvarov. 143-148 [doi]
- Polymorphism in OBJ-PMartin Plümicke. 149-154 [doi]
- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction ProblemJ. Paul Gibson, Dominique Méry. 155-179 [doi]
- Serializability Preserving Extensions of Concurrency Control ProtocolsDmitri Chkliaev, Jozef Hooman, Peter van der Stok. 180-193 [doi]
- Platform Independent Approach for Detecting Shared Memory ParallelismYury V. Chelomin. 194-197 [doi]
- Hierarchical Cause-Effect StructuresA. P. Ustimenko. 198-207 [doi]
- Some Decidability Results for Nested Petri NetsIrina A. Lomazova, Ph. Schnoebelen. 208-220 [doi]
- Abstract Structures for Communication between ProcessesGabriel Ciobanu, Emanuel Florentin Olariu. 221-227 [doi]
- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic ProgramsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. 228-234 [doi]
- On Semantics and Correctness of Reactive Rule-Based ProgramsMan Lin, Jacek Malec, Simin Nadjm-Tehrani. 235-246 [doi]
- Compositional Verification of CCS ProcessesMads Dam, Dilian Gurov. 247-256 [doi]
- Compositional Style of Programming FPGAsElena Trichina. 257-264 [doi]
- Using Experiments to Build a Body of KnowledgeVictor R. Basili, Forrest Shull, Filippo Lanubile. 265-282 [doi]
- Patterns in Words versus Patterns in Trees: A Brief Survey and New ResultsGregory Kucherov, Michaël Rusinowitch. 283-296 [doi]
- Extensions: A Technique for Structuring Functional-Logic ProgramsRafael Caballero, Francisco Javier López-Fraguas. 297-310 [doi]
- Language Tools and Programming Systems in Educational InformaticsS. S. Kobilov. 311-315 [doi]
- Current Directions in Hyper-ProgrammingRonald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle, Alex Farkas, Graham N. C. Kirby, Robert McGettrick, Evangelos Zirintsis. 316-340 [doi]
- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared DataLars Frank. 341-351 [doi]
- A General Object-Oriented Model for Spatial DataSima Asgari, Naoki Yonezaki. 352-357 [doi]
- Twin - A Design Pattern for Modeling Multiple InheritanceHanspeter Mössenböck. 358-369 [doi]
- A Partial Semantics for Object Data Models with Static BindingS. Kazem Lellahi, Rachid Souah. 370-382 [doi]
- Heterogeneous, Nested STL Containers in C:::++:::Volker Simonis, Roland Weiss. 383-388 [doi]
- Data Flow Analysis of Java Programs in the Presence of ExceptionsVladimir I. Shelekhov, Sergey V. Kuksenko. 389-395 [doi]
- Late Adaptation of Method Invocation SemanticsMarkus Hof. 396-401 [doi]
- A Control Language for Designing Constraint SolversCarlos Castro, Eric Monfroy. 402-415 [doi]
- An Algorithm to Compute Inner Approximations of Relations for Interval ConstraintsFrédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie. 416-423 [doi]
- Constraint Programming Techniques for Solving Problems on GraphsVladimir Sidorov, Vitaly Telerman, Dmitry Ushakov. 424-433 [doi]
- Extensional Set Library for ECL:::i:::PS:::e:::Tatyana M. Yakhno, Evgueni S. Petrov. 434-444 [doi]
- Introducing Mutual Exclusion in EsterelKlaus Schneider, Viktor K. Sabelfeld. 445-459 [doi]
- Experiences with the Application of Symbolic Model Checking to the Analysis of Software SpecificationsRichard J. Anderson, Paul Beame, William Chan, David Notkin. 460-469 [doi]
- Formal Verification of a Compiler Back-End Generic Checker ProgramAxel Dold, Vincent Vialard. 470-480 [doi]
- Construction of Verified Compiler Front-Ends with Program-CheckingAndreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann. 481-492 [doi]
- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model CheckerClaudio de la Riva, Javier Tuya, José Ramón de Diego. 493-502 [doi]
- Multi-agent Optimal Path Planning for Mobile Robots in Environment with ObstaclesFedor A. Kolushev, Alexander A. Bogdanov. 503-510 [doi]
- Approach to Understanding Weather Forecast Telegrams with Agent-Based TechniqueIrina Kononenko, Ivan G. Popov, Yury A. Zagorulko. 511-516 [doi]
- Approach to Development of a System for Speech Interaction with an Intelligent RobotGeorge B. Cheblakov, Farida G. Dinenberg, David Ya. Levin, Ivan G. Popov, Yury A. Zagorulko. 517-529 [doi]
- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign LanguagesSusantha Herath, Chie Saito, Ajantha Herath. 530 [doi]