Mathematical Studies of Information Processing 1978: Kyoto, Japan

Edward K. Blum, Manfred Paul, Satoru Takasu (Eds.): Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Lecture Notes in Computer Science 75 Springer 1979, ISBN 3-540-09541-1 BibTeX

@proceedings{DBLP:conf/msi/1978,
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Mathematical Studies of Information Processing, Proceedings of
               the International Conference, Kyoto, Japan, August 23-26, 1978},
  booktitle = {Mathematical Studies of Information Processing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  year      = {1979},
  isbn      = {3-540-09541-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

Peter E. Lauer, M. W. Shields: On the abstract specification and formal analysis of synchronization properties of concurrent systems. 1-32 BibTeX
Raymond E. Miller, Chee-Keng Yap: On the formal specification and analysis for loosely connected processes. 33-66 BibTeX
Karel Culík: Synchronized parallel computation and slowdown of translators. 67-105 BibTeX

Session 2

Reino Kurki-Suonio: Nondeterminism, parallelism and intermittent assertions. 106-126 BibTeX
Akinori Yonezawa: A formal specification technique for abstract data types with parallelism. 127-150 BibTeX
Susan S. Owicki: Verifying parallel programs with resource allocation. 151-164 BibTeX

Session 3

Yahiko Kambayashi: Equivalent key problem of the relational database model. 165-192 BibTeX
Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima: A file organization suitable for relational database operations. 193-227 BibTeX

Session 4

Andrzej Blikle: Specified programming. 228-251 BibTeX
Jacques Loeckx, Ingrid Glasner: A calculus for proving properties of while-programs. 252-281 BibTeX
Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa: "E-correctness" of a set of "computation processes". 282-301 BibTeX

Session 5

Shigeki Goto: Program synthesis through Gödel's interpretation. 302-325 BibTeX
Dines Bjørner: The Vienna development method (VDM): Software specification & program synthesis. 326-359 BibTeX

Session 6

Manfred Paul, Ulrich Güntzer: On a uniform formal description of data structures. 360-383 BibTeX
E. R. Anderson, F. C. Belz, Edward K. Blum: Extending an implementation language to a specification language. 384-424 BibTeX

Session 7

Joseph A. Goguen: Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. 425-473 BibTeX
Leslie Lamport: The specification and proof of correctness of interactive programs. 474-537 BibTeX

Session 8

Hans Langmaack: On a theory of decision problems in programming languages. 538-558 BibTeX
Calvin C. Elgot: A representative strong equivalence class for accessible flowchart schemes. 559-575 BibTeX
Robert Cartwright, John L. McCarthy: Recursive programs as functions in a first order theory. 576-629 BibTeX