Mathematical studies of information processing : proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
75 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical studies of information processing : proceedings, of the International conference on..., Kyoto, Japan, August 23-26, 1978, ed. by E.K. Blum... [et al.], Berlin, Springer, 1979, 1 vol. (VIII-629 p.), Lecture notes in computer science, 3-540-09541-1 • Mathematical Studies of Information Processing, Texte imprimé, 9783662181348 |
Obsah:
- 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.