Blum

Mathematical Studies of Information Processing

Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
Mitarbeit:Blum, E. K.; Paul, M.; Takasu, S.

• Broschiertes Buch

Produktbeschreibung

On the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specification and analysis of loosely connected processes.- Synchronized parallel computation and slowdown of translators.- Nondeterminism, parallelism and intermittent assertions.- A formal specification technique for abstract data types with parallelism.- Verifying parallel programs with resource allocation.- Equivalent key problem of the relational database model.- A file organization suitable for relational database operations.- Specified programming.- A calculus for proving properties of while-programs.- "E-correctness" of a set of "computation processes".- Program synthesis through G¿del's interpretation.- The vienna development method (VDM).- On a uniform formal description of data structures.- Extending an implementation language to a specification language.- Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs.- The specification and proof of correctness of interactive programs.- On a theory of decision problems in programming languages.- A representative strong equivalence class for accessible flowchart schemes.- Recursive programs as functions in a first order theory.

Produktdetails

• Lecture Notes in Computer Science 75
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-09541-5
• 1979.
• Seitenzahl: 644
• Erscheinungstermin: 1. September 1979
• Englisch
• Abmessung: 235mm x 155mm x 35mm
• Gewicht: 1032g
• ISBN-13: 9783540095415
• ISBN-10: 3540095411
• Artikelnr.: 09250971

Inhaltsangabe

On the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specification and analysis of loosely connected processes.- Synchronized parallel computation and slowdown of translators.- Nondeterminism, parallelism and intermittent assertions.- A formal specification technique for abstract data types with parallelism.- Verifying parallel programs with resource allocation.- Equivalent key problem of the relational database model.- A file organization suitable for relational database operations.- Specified programming.- A calculus for proving properties of while-programs.- "E-correctness" of a set of "computation processes".- Program synthesis through Gödel's interpretation.- The vienna development method (VDM).- On a uniform formal description of data structures.- Extending an implementation language to a specification language.- Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs.- The specification and proof of correctness of interactive programs.- On a theory of decision problems in programming languages.- A representative strong equivalence class for accessible flowchart schemes.- Recursive programs as functions in a first order theory.