Login / Signup
Mathematical Studies of Information Processing
1978
1979
1978
1979
Keyphrases
Publications
volume 75, 1979
Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
Mathematical Studies of Information Processing
75 (1979)
1978
Robert Cartwright
,
John McCarthy
Recursive programs as functions in a first order theory.
Mathematical Studies of Information Processing
(1978)
Hans Langmaack
On a theory of decision problems in programming languages.
Mathematical Studies of Information Processing
(1978)
Akinori Yonezawa
A formal specification technique for abstract data types with parallelism.
Mathematical Studies of Information Processing
(1978)
Manfred Paul
,
Ulrich Güntzer
On a uniform formal description of data structures.
Mathematical Studies of Information Processing
(1978)
Joseph A. Goguen
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs.
Mathematical Studies of Information Processing
(1978)
Susan S. Owicki
Verifying parallel programs with resource allocation.
Mathematical Studies of Information Processing
(1978)
Dines Bjørner
The Vienna development method (VDM): Software specification & program synthesis.
Mathematical Studies of Information Processing
(1978)
Andrzej Blikle
Specified programming.
Mathematical Studies of Information Processing
(1978)
Karel Culík
Synchronized parallel computation and slowdown of translators.
Mathematical Studies of Information Processing
(1978)
Kazuhide Sugawara
,
Hiroshi Kawaguchi
,
Teruyasu Nishizawa
"E-correctness" of a set of "computation processes".
Mathematical Studies of Information Processing
(1978)
Reino Kurki-Suonio
Nondeterminism, parallelism and intermittent assertions.
Mathematical Studies of Information Processing
(1978)
Peter E. Lauer
,
M. W. Shields
On the abstract specification and formal analysis of synchronization properties of concurrent systems.
Mathematical Studies of Information Processing
(1978)
Leslie Lamport
The specification and proof of correctness of interactive programs.
Mathematical Studies of Information Processing
(1978)
Shigeki Goto
Program synthesis through Gödel's interpretation.
Mathematical Studies of Information Processing
(1978)
Katsumi Tanaka
,
Chung Le Viet
,
Yahiko Kambayashi
,
Shuzo Yajima
A file organization suitable for relational database operations.
Mathematical Studies of Information Processing
(1978)
Yahiko Kambayashi
Equivalent key problem of the relational database model.
Mathematical Studies of Information Processing
(1978)
Raymond E. Miller
,
Chee-Keng Yap
On the formal specification and analysis for loosely connected processes.
Mathematical Studies of Information Processing
(1978)
Jacques Loeckx
,
Ingrid Glasner
A calculus for proving properties of while-programs.
Mathematical Studies of Information Processing
(1978)
Calvin C. Elgot
A representative strong equivalence class for accessible flowchart schemes.
Mathematical Studies of Information Processing
(1978)
E. R. Anderson
,
Frank C. Belz
,
Edward K. Blum
Extending an implementation language to a specification language.
Mathematical Studies of Information Processing
(1978)