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

@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
Raymond E. Miller, Chee-Keng Yap:
On the formal specification and analysis for loosely connected processes. 33-66
Karel Culík:
Synchronized parallel computation and slowdown of translators. 67-105

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

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
Leslie Lamport:
The specification and proof of correctness of interactive programs. 474-537

Session 8

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

Last update Fri May 25 08:28:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page