Mathematical Studies of Information Processing: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978 (Lecture Notes in Computer Science)

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