Formal Methods in Programming and Their Applications

International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

  • Editors
  • Dines Bjørner
  • Manfred Broy
  • Igor V. Pottosin
Conference proceedings

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

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

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 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
  • About this book