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

Front Cover
E.K. Blum, M. Paul, Medford Paul, S. Takasu
Springer Science & Business Media, 1979 - Computers - 629 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

On the abstract specification and formal analysis of synchronization properties of concurrent system
1
On the formal specification and analysis of loosely connected processes
33
Synchronized parallel computation and slowdown of translators
67
Nondeterminism Parallelism and Intermittent Assertions
106
A Formal Specification technique for abstract data types with parallelism
127
Verifying parallel programs with resource Allocation
151
Equivalent key problem of the relational database model
165
A file organization on suitable for relational database operations
193
Program Synthesis through GSdels Interpretation Shigeki GOTO
302
Software Specification Program Synthesis
326
On a uniform formal description of data structures
360
Extending an implementation language to a specification language
384
Sons Design Principles and Theory for OBJ0 A Language to Express and Execute Algebraic Specifications of Programs
425
The Specification and proof of correctness of interactive programs
474
On a Theory of Decision Problems in Programming Languages
538
A representative strong equivalence class for accessible flowchart schemes
559

Specified Programming
228
A calculus for proving properties of whileprograms
252
Ecorrectness of a set of computation processes
282
Recursive programs as functions in a first order theory
576
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information