![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mathematical Studies of Information Processing 1978: Kyoto, Japan
- Edward K. Blum, Manfred Paul, Satoru Takasu:
Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Lecture Notes in Computer Science 75, Springer 1979, ISBN 3-540-09541-1
Session 1
- Peter E. Lauer, M. W. Shields:
On the abstract specification and formal analysis of synchronization properties of concurrent systems. 1-32 - Raymond E. Miller, Chee-Keng Yap:
On the formal specification and analysis for loosely connected processes. 33-66 - Karel Culík:
Synchronized parallel computation and slowdown of translators. 67-105
Session 2
- Reino Kurki-Suonio:
Nondeterminism, parallelism and intermittent assertions. 106-126 - Akinori Yonezawa:
A formal specification technique for abstract data types with parallelism. 127-150 - Susan S. Owicki:
Verifying parallel programs with resource allocation. 151-164
Session 3
- Yahiko Kambayashi:
Equivalent key problem of the relational database model. 165-192 - Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima:
A file organization suitable for relational database operations. 193-227
Session 4
- Andrzej Blikle:
Specified programming. 228-251 - Jacques Loeckx, Ingrid Glasner:
A calculus for proving properties of while-programs. 252-281 - Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa:
"E-correctness" of a set of "computation processes". 282-301
Session 5
- Shigeki Goto:
Program synthesis through Gödel's interpretation. 302-325 - Dines Bjørner:
The Vienna development method (VDM): Software specification & program synthesis. 326-359
Session 6
- Manfred Paul, Ulrich Güntzer:
On a uniform formal description of data structures. 360-383 - E. R. Anderson, Frank C. Belz, Edward K. Blum:
Extending an implementation language to a specification language. 384-424
Session 7
- Joseph A. Goguen:
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. 425-473 - Leslie Lamport:
The specification and proof of correctness of interactive programs. 474-537
Session 8
- Hans Langmaack:
On a theory of decision problems in programming languages. 538-558 - Calvin C. Elgot:
A representative strong equivalence class for accessible flowchart schemes. 559-575 - Robert Cartwright, John McCarthy:
Recursive programs as functions in a first order theory. 576-629
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.