Skip to main content
SpringerLink
Log in
Book cover

Formal Methods in Programming and Their Applications

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

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Dines Bjørner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manfred Broy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Igor V. Pottosin
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Theory of domains and nearby

    • Yu. L. Ershov
    Pages 1-7

  3. Predicative programming — A survey

    • Jim Grundy
    Pages 8-25

  4. A three-valued logic for refinement

    • Jim Grundy
    Pages 26-42

  5. A compositional semantics of combining forms for gamma programs

    • David Sands
    Pages 43-56

  6. Algebraic properties of loop invariants

    • Gerald Futschek
    Pages 57-66

  7. An approach to parameterized first-order specifications: Semantics, correctness, parameter passing

    • Wolfgang Reif
    Pages 67-80

  8. Algebraic modelling of imperative languages with pointers

    • A. V. Zamulin
    Pages 81-97

  9. Galois connection based abstract interpretations for strictness analysis

    • Patrick Cousot, Radhia Cousot
    Pages 98-127

  10. Efficient chaotic iteration strategies with widenings

    • François Bourdoncle
    Pages 128-141

  11. Semantic analysis of interval congruences

    • François Masdupuy
    Pages 142-155

  12. Polymorphic typing for call-by-name semantics

    • B. Monsuez
    Pages 156-169

  13. Logic program testing based on abstract interpretation

    • Lunjin Lu, Peter Greenfield
    Pages 170-180

  14. Analysis of some semantic properties for programs of the applicative language AL

    • V. Sabelfeld
    Pages 181-189

  15. Communication as unification in process algebras: Operational semantics

    • Philippe Jorrand
    Pages 190-216

  16. Functional development of massively parallel programs

    • Peter Pepper, Jürgen Exner, Mario Südholt
    Pages 217-238

  17. Observing some properties of event structures

    • I. B. Virbitskaite
    Pages 239-250

  18. The other linear logic

    • M. Taitslin, D. Arkhangelsky
    Pages 251-255

  19. Duration Calculi: An overview

    • Zhou Chaochen
    Pages 256-266

  20. A unique formalism for specifying and designing objects in a parallel environment

    • J. P. Bahsoun, C. Servieres, C. Seguin
    Pages 267-280
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation