Advertisement

Table of contents

  1. Front Matter
  2. Yu. L. Ershov
    Pages 1-7
  3. Jim Grundy
    Pages 8-25
  4. Jim Grundy
    Pages 26-42
  5. Gerald Futschek
    Pages 57-66
  6. François Bourdoncle
    Pages 128-141
  7. François Masdupuy
    Pages 142-155
  8. Lunjin Lu, Peter Greenfield
    Pages 170-180
  9. Peter Pepper, Jürgen Exner, Mario Südholt
    Pages 217-238
  10. I. B. Virbitskaite
    Pages 239-250
  11. M. Taitslin, D. Arkhangelsky
    Pages 251-255
  12. Zhou Chaochen
    Pages 256-266
  13. J. P. Bahsoun, C. Servieres, C. Seguin
    Pages 267-280
  14. Friederike Nickl, Martin Wirsing
    Pages 312-334
  15. Gerald C. Gannod, Betty H. C. Cheng
    Pages 335-348
  16. Hanan Lutfiyya, Bruce McMillin, Alan Su
    Pages 363-376
  17. Anatolij P. Beltiukov
    Pages 414-422
  18. Eerke A. Boiten
    Pages 423-433
  19. Back Matter

About these proceedings

Introduction

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

Keywords

Formale Methoden Programmieren Programmlogik Programmsemantik Programmspezifikation algorithms communication formal method formal methods logic of programs program semantics program specification programming semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0039695
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57316-6
  • Online ISBN 978-3-540-48056-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering