Abstract is missing.
- A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software DevelopmentHartmut Ehrig, Bernd Mahr. 3-24
- Theory and Practice of Software Development: Stages in a DebateChristiane Floyd. 25-41
- Rational Spaces and Set ConstraintsDexter Kozen. 42-61
- Formal Methods and Social Context in Software DevelopmentJoseph A. Goguen, Luqi. 62-81
- Testing Can Be Formal, TooMarie-Claude Gaudel. 82-96
- Anatomy of the Pentium BugVaughan R. Pratt. 97-107
- Rational Mechanisms and Natural MathematicsVaughan R. Pratt. 108-122
- First-Order Logic on Finite TreesAndreas Potthoff. 125-139
- Decidability of Equivalence for Deterministic Synchronized Tree AutomataKai Salomaa. 140-154
- The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is SolvableYves Andre, Francis Bossut. 155-171
- Pi-I: A Symmetric Calculus Based on Internal MobilityDavide Sangiorgi. 172-186
- Complete Inference Systems for Weak Bisimulation Equivalences in the pi-CalculusHuimin Lin. 187-201
- Reasoning about Higher-Order ProcessesRoberto M. Amadio, Mads Dam. 202-216
- Confluence of Processes and Systems of ObjectsXinxin Liu, David Walker. 217-231
- An Algebraic Approach to Temporal LogicBurghard von Karger. 232-246
- On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order LogicMartin Hofmann, Donald Sannella. 247-261
- Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract)Bengt Jonsson, Yih-Kuen Tsay. 262-276
- Fine Hierarchy of Regular omega-LanguagesVictor L. Selivanov. 277-287
- Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial TimeThomas Wilke, Haiseung Yoo. 288-302
- Semi-Trace Morphisms and Rational TransductionsPierre-André Wacrenier. 303-317
- Nonfinite Axiomatizability of Shuffle InequalitiesStephen L. Bloom, Zoltán Ésik. 318-333
- On the Category of Petri Net ComputationsVladimiro Sassone. 334-348
- High Undecidability of Weak Bisimilarity for Petri NetsPetr Jancar. 349-363
- Polynomial Algorithms for the Synthesis of Bounded NetsEric Badouel, Luca Bernardinello, Philippe Darondeau. 364-378
- Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting SystemsM. R. K. Krishna Rao. 379-393
- Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract)Satoshi Okui, Aart Middeldorp, Tetsuo Ida. 394-408
- On the Expressive Power of Algebraic Graph Grammars with Application ConditionsAnnika Wagner. 409-423
- Generated Models and the omega-Rule: The Nondeterministic CaseMichal Walicki, Sigurd Meldal. 424-438
- CPO Models for a Class of GSOS LanguagesLuca Aceto, Anna Ingólfsdóttir. 439-453
- Statecharts, Transition Structures and TransformationsAdriano Peron. 454-468
- An Imperative Object CalculusMartín Abadi, Luca Cardelli. 471-485
- A Refinement of Import/Export Declarations in Modular Logic Programming and its SemanticsIsambo Karali, Constantin Halatsis. 486-500
- Strictness and Totality Analysis with ConjunctionKirsten Lackner Solberg. 501-515
- Generic Techniques for Source-Level Debugging and Dynamic Program SlicingFrank Tip. 516-530
- Reasoning with Executable SpecificationsYves Bertot, Ranan Fraer. 531-545
- Calculating Software Generators from Solution SpecificationsRichard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou. 546-560
- Comparing Flow-Based Binding-Time AnalysesJens Palsberg. 561-574
- Can you Trust your Data?Peter Ørbæk. 575-589
- Static and Dynamic Processor Allocation for Higher-Order Concurrent LanguagesHanne Riis Nielson, Flemming Nielson. 590-604
- Mechanized Inductive Proof of Properties of a Simple Code OptimizerAlfons Geser. 605-619
- Describing a Signal Analyzer in the Process Algebra PMC - A Case StudyHenrik Reif Andersen, Michael Mendler. 620-635
- A Gentle Introduction to Specification Engineering Using a Case Study in TelecommunicationsStephan Kleuker. 636-650
- Precise Interprocedural Dataflow Analysis with Applications to Constant PropagationShmuel Sagiv, Thomas W. Reps, Susan Horwitz. 651-665
- Formal Specification and Prototyping of a Program SpecializerSandrine Blazy, Philippe Facon. 666-680
- Proving the Correctness of Recursion-Based Automatic Program TransformationsDavid Sands. 681-695
- Reactive System Specification and RefinementKevin Lano. 696-710
- Measuring Concurrency of Regular Distributed ComputationsCyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval. 711-725
- Non-Speculative and Upward Invocation of Continuations in a Parallel LanguageLuc Moreau. 726-740
- A Model Inference System for Generic Specification with Application to Code SharingDidier Bert, Catherine Oriat. 741-755
- Relations as Abstract Datatypes: An Institution to Specify Relations between AlgebrasHubert Baumeister. 756-771
- Performance-Oriented Formal Specifications - the LotoTis ApproachIna Schieferdecker. 772-786
- Signal: A Formal Design Environment for Real-Time SystemsPaul Le Guernic. 789-790
- The META-Frame: An Environment for Flexible Tool ManagementBernhard Steffen, Tiziana Margaria, Andreas Claßen. 791-792
- STeP: The Stanford Temporal ProverZohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe. 793-794
- The HOL-UNITY Verification SystemFlemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson. 795-796
- PLATO: A Tool to Assist Programming as Term Rewriting and Therem ProvingAndre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque. 797-798
- LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic SpecificationsBruno Marre. 799-800
- The SMoLCS ToolSetEgidio Astesiano, Gianna Reggio, Franco Morando. 801-802
- The Asf+Sdf Meta-Environment Documentation Tools for Free!Mark G. J. van den Brand, Eelco Visser. 803-804 [doi]
- B-Core: The B-Toolkit Demonstration805-806
- Object Oriented Semantics Directed Compiler Generation: A PrototypeLuiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel. 807-808