Mathematical Studies of Information Processing: Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978

On the abstract specification and formal analysis of synchronization properties of concurrent systems....Pages 1-32
On the formal specification and analysis of loosely connected processes....Pages 33-66
Synchronized parallel computation and slowdown of translators....Pages 67-105
Nondeterminism, parallelism and intermittent assertions....Pages 106-126
A formal specification technique for abstract data types with parallelism....Pages 127-150
Verifying parallel programs with resource allocation....Pages 151-164
Equivalent key problem of the relational database model....Pages 165-192
A file organization suitable for relational database operations....Pages 193-227
Specified programming....Pages 228-251
A calculus for proving properties of while-programs....Pages 252-281
"E-correctness" of a set of "computation processes"....Pages 282-301
Program synthesis through Gödel's interpretation....Pages 302-325
The vienna development method (VDM)....Pages 326-359
On a uniform formal description of data structures....Pages 360-383
Extending an implementation language to a specification language....Pages 384-424
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs....Pages 425-473
The specification and proof of correctness of interactive programs....Pages 474-537
On a theory of decision problems in programming languages....Pages 538-558
A representative strong equivalence class for accessible flowchart schemes....Pages 559-575
Recursive programs as functions in a first order theory....Pages 576-629