Skip to main content
SpringerLink
Log in

Mathematical Studies of Information Processing

Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978

  • Conference proceedings
  • © 1979

Overview

Editors:
  1. E. K. Blum
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. M. Paul
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. S. Takasu
    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 75)

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 109.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 (20 papers)

  1. Front Matter

    Download chapter PDF

  2. On the abstract specification and formal analysis of synchronization properties of concurrent systems

    • M. W. Shields, P. E. Lauer
    Pages 1-32

  3. On the formal specification and analysis of loosely connected processes

    • Raymond E. Miller, Chee K. Yap
    Pages 33-66

  4. Synchronized parallel computation and slowdown of translators

    • Karel Čulik
    Pages 67-105

  5. Nondeterminism, parallelism and intermittent assertions

    • R. Kurki-Suonio
    Pages 106-126

  6. A formal specification technique for abstract data types with parallelism

    • Akinori Yonezawa
    Pages 127-150

  7. Verifying parallel programs with resource allocation

    • Susan Owicki
    Pages 151-164

  8. Equivalent key problem of the relational database model

    • Yahiko Kambayashi
    Pages 165-192

  9. A file organization suitable for relational database operations

    • Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima
    Pages 193-227

  10. Specified programming

    • Andrzej Blikle
    Pages 228-251

  11. A calculus for proving properties of while-programs

    • Ingrid Glasner, Jacques Loeckx
    Pages 252-281

  12. "E-correctness" of a set of "computation processes"

    • Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa
    Pages 282-301

  13. Program synthesis through Gödel's interpretation

    • Shigeki Goto
    Pages 302-325

  14. The vienna development method (VDM)

    • Dines Bjørner
    Pages 326-359

  15. On a uniform formal description of data structures

    • M. Paul, U. Güntzer
    Pages 360-383

  16. Extending an implementation language to a specification language

    • E. R. Anderson, F. C. Belz, E. K. Blum
    Pages 384-424

  17. Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs

    • Joseph A. Goguen
    Pages 425-473

  18. The specification and proof of correctness of interactive programs

    • Leslie Lamport
    Pages 474-537

  19. On a theory of decision problems in programming languages

    • Hans Langmaack
    Pages 538-558

  20. A representative strong equivalence class for accessible flowchart schemes

    • Calvin C. Elgot
    Pages 559-575
Back to top

Keywords

Bibliographic Information

  • Book Title: Mathematical Studies of Information Processing

  • Book Subtitle: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978

  • Editors: E. K. Blum, M. Paul, S. Takasu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-09541-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09541-5Published: 01 September 1979

  • eBook ISBN: 978-3-540-35010-1Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 634

  • Topics: Theory of Computation, Programming Techniques, Computer Applications

Publish with us

Policies and ethics

Back to top

Search

Navigation