Foundations of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

  • Jerzy Tiuryn
Conference proceedings FoSSaCS 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1784)

Table of contents

  1. Front Matter
    Pages I-X
  2. Christel Baier, Mariëlle Stoelinga
    Pages 1-16
  3. Gilles Barthe, Femke van Raamsdonk
    Pages 17-34
  4. Beatrice Bérard, Anne Labroue, Philippe Schnoebelen
    Pages 35-47
  5. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Pages 63-81
  6. Frank Drewes, Berthold Hoffmann, Detlef Plump
    Pages 98-113
  7. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    Pages 114-129
  8. Jo Erskine Hannay
    Pages 130-145
  9. Oltea Mihaela Herescu, Catuscia Palamidessi
    Pages 146-160
  10. Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
    Pages 161-176
  11. Jean-François Husson, Rémi Morin
    Pages 177-191
  12. François Laroussinie, Philippe Schnoebelen
    Pages 192-207
  13. Huimin Lin, Wang Yi
    Pages 208-222
  14. Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
    Pages 223-237
  15. Christophe Morvan
    Pages 252-266
  16. Paola Quaglia, David Walker
    Pages 283-296
  17. Aleksy Schubert
    Pages 297-313
  18. Hongseok Yang, Uday S. Reddy
    Pages 359-374
  19. Back Matter
    Pages 391-391

About these proceedings


ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for \u- fying" talks on topics of interest to the whole range of ETAPS attendees.


Ada Software engineering algorithm algorithms automata formal language formal verification lambda calculus logic program analysis program transformation programming semantics system specification verification

Editors and affiliations

  • Jerzy Tiuryn
    • 1
  1. 1.Institute of InformaticsWarsaw UniversityWarsawPoland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67257-9
  • Online ISBN 978-3-540-46432-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site